The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes (0)
| Venue: | Handbook of Process Algebra, chapter 1 |
| Citations: | 77 - 4 self |
BibTeX
@INPROCEEDINGS{Glabbeek_thelinear,
author = {R.J. van Glabbeek},
title = {The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes},
booktitle = {Handbook of Process Algebra, chapter 1},
year = {},
pages = {3--99},
publisher = {Elsevier}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
