Tallenna
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands.
- Alaotsikko
- School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
- Painos
- 1989 ed.
- ISBN
- 9783540510802
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.3.1989
- Sivumäärä
- 718
