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
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud