LEADER 03114nam  22005775  450 
001 9910254829603321
005 20220404210947.0
010   $a3-319-55559-6
024 7 $a10.1007/978-3-319-55559-1
035   $a(CKB)3710000001176698
035   $a(DE-He213)978-3-319-55559-1
035   $a(MiAaPQ)EBC4841623
035   $a(PPN)200513052
035   $a(EXLCZ)993710000001176698
100   $a20170413d2017      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProcess algebras for Petri nets $ethe alphabetization of distributed systems /$fby Roberto Gorrieri
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIII, 302 p. 64 illus., 4 illus. in color.)
225 1 $aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
311   $a3-319-55558-8 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- 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.
330   $aThis 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.
410  0$aMonographs in Theoretical Computer Science. An EATCS Series,$x1431-2654
606   $aComputers
606   $aMathematical logic
606   $aSoftware engineering
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
615  0$aComputers.
615  0$aMathematical logic.
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aSoftware Engineering/Programming and Operating Systems.
676   $a005.1015115
700   $aGorrieri$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597785
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254829603321
996   $aProcess Algebras for Petri Nets$92502514
997   $aUNINA