Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /

Detalles Bibliográficos
Autor principal: Gorrieri, Roberto. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Monographs in Theoretical Computer Science. An EATCS Series,
Materias:
Computers.
Mathematical logic.
Software engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Software Engineering/Programming and Operating Systems.
Tabla de Contenidos:
  • 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.

Ejemplares similares