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)

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

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)