Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings (Q1187645)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings |
scientific article; zbMATH DE number 42842
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings |
scientific article; zbMATH DE number 42842 |
Statements
Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings (English)
0 references
23 January 1993
0 references
The articles of this volume will be reviewed individually under the abbreviation ``Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354 (1989)'' below.
0 references
Linear time, branching time and partial order
0 references
Logics and models for concurrency
0 references
Workshop
0 references
Proceedings
0 references
Noordwijkerhout (Netherlands)
0 references
temporal logic
0 references
concurrency
0 references
semantics
0 references
processes
0 references
