Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book a...
Κύριος συγγραφέας: | Gorrieri, Roberto (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Σειρά: | Monographs in Theoretical Computer Science. An EATCS Series,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Petri Net Synthesis
ανά: Badouel, Eric, κ.ά.
Έκδοση: (2015) -
Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015) -
Transactions on Petri Nets and Other Models of Concurrency III
Έκδοση: (2009) -
Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
Έκδοση: (2004) -
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Έκδοση: (2009)