Process Algebras for Petri Nets
-15%
portes grátis
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Gorrieri, Roberto
Springer International Publishing AG
04/2017
302
Dura
Inglês
9783319555584
15 a 20 dias
5974
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Petri Nets;Process Algebras;Models of Computation;Concurrency;Distributed Computing;Process Calculus
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
