Hiding in stream semantics of uniform concurrency

DOI10.1007/BF00289016zbMath0672.68008OpenAlexW2082410624MaRDI QIDQ1120267

John-Jules Ch. Meyer, Ernst-Ruediger Olderog

Publication date: 1990

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289016

zbMATH Keywords

streamshiding operator

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (2)

Applications of compactness in the Smyth powerdomain of streams ⋮ Metric semantics for concurrency

Cites Work

• Unnamed Item
• Unnamed Item
• On infinite computations in denotational semantics
• Specification-oriented semantics for communicating processes
• Merging regular processes by means of fixed-point theory
• Order and metric in the stream semantics of elemental concurrency
• Infinite streams and finite observations in the semantics of uniform concurrency
• Global renaming operators in concrete process algebra
• Applications of compactness in the Smyth powerdomain of streams
• A calculus of communicating systems
• A continuous semantics for unbounded nondeterminism
• Power domains
• A Theory of Communicating Sequential Processes

This page was built for publication: Hiding in stream semantics of uniform concurrency