| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT , 23-25 July 1990, University of Leicester, UK | 978-3-540-19625-9 (3-540-19625-0) | 1990 | Marta Z. Kwiatkowska · Richard M. Thomas |
| Semantics of Parallelism: Non-Interleaving Representation of Behaviour | 978-3-540-76059-7 (3-540-76059-8) | 1997 | |
M S. · M. Shields · M W · M. W. Shields · Michael S. · Michael W. · W.S.