The Linear Time -- Branching Time Spectrum (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

In this paper eleven semantics in the linear time — branching time spectrum are presented in a uniform, model-independent way. Restricted to the domain of finitely branching, concrete, sequential processes, most semantics found in the literature that can be defined uniformly in terms of action relations coincide with one of these eleven. Several testing scenarios, motivating these semantics, are presented, phrased in terms of ‘button pushing experiments’ on generative and reactive machines. Finally nine of these semantics are applied to a simple language for finite, concrete, sequential, nondeterministic processes, and for each of them a complete axiomatization is provided.

Original languageEnglish
Title of host publicationCONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension
EditorsJ.C.M. Baeten, J.W. Klop
PublisherSpringer-Verlag
Pages278-297
Number of pages20
Volume458
ISBN (Electronic)978-3-540-46395-5
ISBN (Print)978-3-540-53048-0
DOIs
Publication statusPublished - 15 Aug 1990
Event1st International Conference on Theories of Concurrency, 1990 - Amsterdam, Netherlands
Duration: 27 Aug 199030 Aug 1990
Conference number: 1

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Theories of Concurrency, 1990
Abbreviated titleCONCUR 1990
Country/TerritoryNetherlands
CityAmsterdam
Period27/08/9030/08/90

Fingerprint

Dive into the research topics of 'The Linear Time -- Branching Time Spectrum (extended abstract)'. Together they form a unique fingerprint.

Cite this