Linear time, branching time and partial order in logics and models for concurrency
Linear time, branching time and partial order in logics and models for concurrency
edited by J.W. de Bakker, W. P. de Roever, G. Rozenberg
- Berlin Springer-Verlag 1989
- viii, 713 p. fig. 23 cm.
- Lecture notes in computer science 354 .
Includes bibliographical references
354051080X
Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
004.36
Includes bibliographical references
354051080X
Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
004.36