Finite Transition Systems: Semantics of Communicating Systems (PRENTICE-HALL INTERNATIONAL SERIES IN DYNAMICS)

by Andre Arnold Hardcover details (USA). ISBN: 978-0-13-092990-7 ISBN-10: 0-13-092990-5 Prentice Hall · 1994