scientific article; zbMATH DE number 3903937

MaRDI QIDQ3681902zbMATH OpenFDO

Authors J. W. de Bakker, John-Jules Meyer, Ernst-Rüdiger Olderog

Publication date 1985

zbMATH Keywords

finite observationssinfinite streamslinear time semanticssemantics of uniform concurrency

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Infinite streams and finite observations in the semantics of uniform concurrency
• Order and metric in the stream semantics of elemental concurrency
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• scientific article; zbMATH DE number 92601
• Semantics of finite and infinite networks of concurrent communicating agents

Cited in

(7)

• Specification-oriented semantics for communicating processes
• Order and metric in the stream semantics of elemental concurrency
• Infinite streams and finite observations in the semantics of uniform concurrency
• Trace, failure and testing equivalences for communicating processes
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Hiding in stream semantics of uniform concurrency
• Upper Bounds on Stream I/O Using Semantic Interpretations

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