Semantics for Concurrency: Proceedings of the International Bcs-Facs Workshop, Sponsored by Logic for It (Workshops in Computing)

Proceedings

by: M. Z. Kwiatkowska · M. W. Shields · R. M. Thomas

Paperback

details (USA).

ISBN: 978-0-387-19625-1

ISBN-10: 0-387-19625-0

Springer Verlag · 1990