scientific article; zbMATH DE number 3911719

MaRDI QIDQ3687725zbMATH OpenFDO

Authors Ursula Goltz, Wolfgang Reisig

Publication date 1985

zbMATH Keywords

communicating sequential processesfiring sequencesnet translationnon- interleaving semanticsoperational semanticspredicate/transition-netsunfoldings

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Representing CCS programs by finite predicate-transition nets
• Denotational semantics of CSP
• Total correctness of CSP programs
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 3890704
• CSP and Kripke Structures
• scientific article; zbMATH DE number 4001494
• scientific article; zbMATH DE number 3903944
• scientific article; zbMATH DE number 35422
• Token-passing nets for functional languages

Cited in

(14)

• Automatic construction of CSP programs from sequential non-deterministic programs
• Two normal form theorems for CSP programs
• Normalform-Transformationen für CSP-Programme. (Normal form transformations for CSP-programs)
• Representing CCS programs by finite predicate-transition nets
• Concurrent bisimulations in Petri nets
• scientific article; zbMATH DE number 4018373 (Why is no real title available?)
• Unfolding CSP
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 4094831 (Why is no real title available?)
• scientific article; zbMATH DE number 1953332 (Why is no real title available?)
• scientific article; zbMATH DE number 4001494 (Why is no real title available?)
• Causal behaviours and nets
• A trace semantics for Petri Nets
• From CCS to CSP: the m-among-n synchronisation approach

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3687725)