The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

R.J. van Glabbeek

doi:10.1016/B978-044482830-9/50019-9

The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

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

Abstract / Description of output

In this paper various semantics in the linear time - branching time spectrum are presented in a uniform, model-independent way. Restricted to the class of finitely branching, concrete, sequential processes, only fifteen of them turn out to be different, and most semantics found in the literature that can be defined uniformly in terms of action relations coincide with one of these fifteen. Several testing scenarios, motivating these semantics, are presented, phrased in terms of ‘button pushing experiments’ on generative and reactive machines. Finally twelve 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 language	English
Title of host publication	Handbook of Process Algebra
Editors	J.A. Bergstra, A. Ponse, S.A. Smolka
Publisher	Elsevier Science
Pages	3-99
Number of pages	97
ISBN (Print)	978-0-444-82830-9
DOIs	https://doi.org/10.1016/B978-044482830-9/50019-9
Publication status	Published - 16 Mar 2001

Access to Document

10.1016/B978-044482830-9/50019-9Licence: All Rights Reserved

https://www.sciencedirect.com/science/article/pii/B9780444828309500199Licence: All Rights Reserved

Cite this

@inbook{b2fd41f1909449a0a50b52b360fc13a8,

title = "The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes",

abstract = "In this paper various semantics in the linear time - branching time spectrum are presented in a uniform, model-independent way. Restricted to the class of finitely branching, concrete, sequential processes, only fifteen of them turn out to be different, and most semantics found in the literature that can be defined uniformly in terms of action relations coincide with one of these fifteen. Several testing scenarios, motivating these semantics, are presented, phrased in terms of {\textquoteleft}button pushing experiments{\textquoteright} on generative and reactive machines. Finally twelve 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.",

author = "{van Glabbeek}, R.J.",

year = "2001",

month = mar,

day = "16",

doi = "10.1016/B978-044482830-9/50019-9",

language = "English",

isbn = "978-0-444-82830-9",

pages = "3--99",

editor = "J.A. Bergstra and A. Ponse and S.A. Smolka",

booktitle = "Handbook of Process Algebra",

publisher = "Elsevier Science",

}

TY - CHAP

T1 - The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

AU - van Glabbeek, R.J.

PY - 2001/3/16

Y1 - 2001/3/16

N2 - In this paper various semantics in the linear time - branching time spectrum are presented in a uniform, model-independent way. Restricted to the class of finitely branching, concrete, sequential processes, only fifteen of them turn out to be different, and most semantics found in the literature that can be defined uniformly in terms of action relations coincide with one of these fifteen. Several testing scenarios, motivating these semantics, are presented, phrased in terms of ‘button pushing experiments’ on generative and reactive machines. Finally twelve 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.

AB - In this paper various semantics in the linear time - branching time spectrum are presented in a uniform, model-independent way. Restricted to the class of finitely branching, concrete, sequential processes, only fifteen of them turn out to be different, and most semantics found in the literature that can be defined uniformly in terms of action relations coincide with one of these fifteen. Several testing scenarios, motivating these semantics, are presented, phrased in terms of ‘button pushing experiments’ on generative and reactive machines. Finally twelve 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.

U2 - 10.1016/B978-044482830-9/50019-9

DO - 10.1016/B978-044482830-9/50019-9

M3 - Chapter (peer-reviewed)

SN - 978-0-444-82830-9

SP - 3

EP - 99

BT - Handbook of Process Algebra

A2 - Bergstra, J.A.

A2 - Ponse, A.

A2 - Smolka, S.A.

PB - Elsevier Science

ER -

The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

Abstract / Description of output

Access to Document

Fingerprint

Cite this