Infinite streams and finite observations in the semantics of uniform concurrency

DOI10.1016/0304-3975(87)90002-8zbMath0623.68016OpenAlexW2032799612MaRDI QIDQ1091800

J. W. de Bakker, Ernst-Ruediger Olderog, John-Jules Ch. Meyer

Publication date: 1987

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/6333

zbMATH Keywords

denotational semanticsconcurrencynondeterminismobservationsstreamshidinglinear time semantics

Mathematics Subject Classification ID

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

Related Items (6)

Applications of compactness in the Smyth powerdomain of streams ⋮ Transition systems, metric spaces and ready sets in the semantics of uniform concurrency ⋮ Designing equivalent semantic models for process creation ⋮ Metric semantics for concurrency ⋮ Hiding in stream semantics of uniform concurrency ⋮ Comparative semantics for flow of control in logic programming without logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A linear-history semantics for languages for distributed programming
• Calculi for synchrony and asynchrony
• Specification-oriented semantics for communicating processes
• Merging regular processes by means of fixed-point theory
• Semantics of nondeterminism, concurrency, and communication
• A calculus of communicating systems
• A continuous semantics for unbounded nondeterminism
• Power domains
• Synchronization trees
• Testing equivalences for processes
• Linear time and branching time semantics for recursion with merge
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• A Powerdomain Construction
• Processes and the denotational semantics of concurrency

This page was built for publication: Infinite streams and finite observations in the semantics of uniform concurrency