| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It | 978-O-387-19625-1 (O-387-19625-O) | 1990 | M. Z. Kwiatkowska · R. M. Thomas |
M S. · M. Shields · M W · Michael W. Shields · W.S.