Spar
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.
- Undertittel
- School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
- Opplag
- 1989 ed.
- ISBN
- 9783540510802
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.3.1989
- Antall sider
- 718
