Login

Gorrieri, Roberto

Process Algebras for Petri Nets

Gorrieri, Roberto - Process Algebras for Petri Nets, ebook

76,85€

Ebook, PDF with Adobe DRM
ISBN: 9783319555591
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Roberto Gorrieri

2. Labeled Transition Systems
Roberto Gorrieri

3. Petri Nets
Roberto Gorrieri

4. The Basic Calculus: SFM
Roberto Gorrieri

5. Adding Asynchronous Parallel Composition: CFM and BPP
Roberto Gorrieri

6. Adding Communication and Restriction: FNC
Roberto Gorrieri

7. Adding Multi-party Communication: FNM
Roberto Gorrieri

8. Adding Atomic Tests for Absence: NPL
Roberto Gorrieri

9. Generalizations and Variant Semantics
Roberto Gorrieri

Keywords: Computer Science, Theory of Computation, Mathematical Logic and Foundations, Software Engineering/Programming and Operating Systems

Author(s)
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Series
Monographs in Theoretical Computer Science. An EATCS Series
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319555591
Printed ISBN
978-3-319-55558-4

Similar titles