Logics for Concurrency: Structure Versus Automata (Lecture Notes in Computer Science, 1043)

by: Faron Moller · G. M. Birtwistle

Hardcover

details (USA).

ISBN: 978-0-387-60915-7

ISBN-10: 0-387-60915-6

Springer-Verlag · 1996