Sharing time among branches

Abstract

In this paper we study Jointed Branching Time Structures equipped with a chrono-function that assigns times to moments. We develop a collection of examples of such structures in a systematic way. We use our systematic collection to provide examples and counter-examples about when a Jointed Branching Time Structure can or cannot be extended with a chronofunction of such-and-such a kind.