Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous
View Other Search Results
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: