Synopsis
Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Parallel Composition: CFM and BPP.- Adding Communication and Restriction: FNC.- Adding Multi-party Communication: FNM.- Adding Atomic Tests for Absence: NPL.- Generalizations and Conclusions.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Roberto Gorrieri is a professor in the Università di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook "Introduction to Concurrency Theory: Transition Systems and CCS" in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Università di Pisa.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Process Algebras for Petri Nets: The Alphabetization...
Image d'archives
Process Algebras for Petri Nets. The Alphabetization of Distributed Systems.
Edité par
Cham, Springer., 2017
ISBN 10 : 3319555588
ISBN 13 : 9783319555584
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
XIII, 302 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Monographs in Theoretical Computer Science. An EATCS Series. Sprache: Englisch. N° de réf. du vendeur 34602AB
Acheter D'occasion
EUR 18
Expédition à EUR 30
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 13eddd5391c7ce360e94a66a4fdbc160
Acheter neuf
EUR 70,24
Expédition à EUR 8
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Edité par
Springer, 2017
ISBN 10 : 3319555588
ISBN 13 : 9783319555584
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29041061
Acheter D'occasion
EUR 99,14
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319555584_new
Acheter neuf
EUR 91,23
Expédition à EUR 13,89
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29041061-n
Acheter neuf
EUR 105,55
Expédition à EUR 2,31
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebras for Petri Nets
Edité par
Springer International Publishing Apr 2017, 2017
ISBN 10 : 3319555588
ISBN 13 : 9783319555584
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 also suggests the need for a generalization of Turing computability theory.It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science. 316 pp. Englisch. N° de réf. du vendeur 9783319555584
Acheter neuf
EUR 85,59
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29041061-n
Acheter neuf
EUR 91,21
Expédition à EUR 17,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Edité par
Springer, 2017
ISBN 10 : 3319555588
ISBN 13 : 9783319555584
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29041061
Acheter D'occasion
EUR 99,94
Expédition à EUR 17,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Process Algebras for Petri Nets
Edité par
Springer International Publishing, 2017
ISBN 10 : 3319555588
ISBN 13 : 9783319555584
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Relates hierarchies of classes of Petri nets and process algebrasFirst book to discuss limitations of Turing computabilityImportant for graduate students and researchers engaged with the concurrent semantics of distri. N° de réf. du vendeur 145197881
Acheter neuf
EUR 74,71
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 302. N° de réf. du vendeur 26375274279
Acheter neuf
EUR 122,48
Expédition à EUR 3,49
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)