scientific article; zbMATH DE number 3990850

zbMATH Open0612.68023MaRDI QIDQ3753474FDOQ3753474

Dirk Taubner, Walter Vogler

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

communicating sequential processesHoare's CSPtrue parallelism

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (8)

• Towards a structure-aware failure semantics for streaming media communication models
• Concurrency and atomicity
• Concurrent testing of processes
• 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
• 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)