
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
₹4,740

Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
by Jacobus W. De Bakker, A. J. Nijman, Philip C. Treleaven
Free delivery. Nothing extra to pay at checkout.
Parle Parallel Architectures and Languages Europe is a carefully curated title by Jacobus W. De Bakker | A. J. Nijman | Philip C. Treleaven , published by Springer .
Description supplied by the publisher.