scientific article; zbMATH DE number 3990850

MaRDI QIDQ3753474zbMATH OpenFDO

Authors Dirk Taubner, Walter Vogler

Publication date 1987

zbMATH Keywords

communicating sequential processesHoare's CSPtrue parallelism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Step failures semantics and a complete proof system
• A CSP model with flexible parallel termination semantics
• Of wlp and CSP
• Step semantics for ``true concurrency with recursion
• An Alternative Order for the Failures Model

Cited in

(10)

• Towards a structure-aware failure semantics for streaming media communication models
• Concurrency and atomicity
• Concurrent testing of processes
• A CSP model with flexible parallel termination semantics
• Step failures semantics and a complete proof system
• The connection between an event structure semantics and an operational semantics for TCSP
• Universal axioms for bisimulations
• Step semantics for ``true concurrency with recursion
• Of wlp and CSP
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)

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 Q3753474)