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

linear time semanticsinfinite streamsfinite observationsssemantics of uniform concurrency

Mathematics Subject Classification ID

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

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)

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

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)