What is branching time semantics and why to use it?

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Abstract / Description of output

The concept of branching time in the semantics of concurrent systems is well known and well understood. Still a formal definition of what it means for a model or equivalence to respect branching time has never explicitly be given. This note proposes such a definition. Additionally the opportunity is taken to voice an old but poorly understood argument for using branching time semantics instead of models or equivalences that are fully abstract with respect to some notion of observability.
Original languageEnglish
Title of host publicationCurrent Trends in Theoretical Computer Science; Entering the 21st Century
EditorsG. Paun, G. Rozenberg, A. Salomaa
PublisherWorld Scientific
Number of pages11
ISBN (Electronic)978-981-4492-05-8
ISBN (Print)978-981-281-040-3, 978-981-02-4473-6
Publication statusPublished - 1 Feb 2001


Dive into the research topics of 'What is branching time semantics and why to use it?'. Together they form a unique fingerprint.

Cite this