Connections between two theories of concurrency: Metric spaces and synchronization trees

DOI10.1016/S0019-9958(83)80039-4MaRDI QIDQ3343434zbMATH OpenOpenAlexFDO

Authors William G. Golson, William C. Rounds

Publication date 1983

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(83)80039-4

zbMATH Keywords

metric spacesmodal logicdenotational semanticsobservational equivalencealgebraic semantics of communicationrigid synchronization treessemantic theories of concurrencyweak equivalence relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Recommendations

• On the relationships between Scott domains, synchronization trees, and metric spaces
• Theoretical Aspects of Computing – ICTAC 2005
• A connection between concurrency and language theory
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Metric semantics for concurrency

Cited in

(12)

• Three metric domains of processes for bisimulation
• A connection between concurrency and language theory
• On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
• Towards a foundation for semantics in complete metric spaces
• A hierarchy of domains for real-time distributed computing
• A timed model for communicating sequential processes
• A fixed-point theorem in a category of compact metric spaces
• On the relationships between Scott domains, synchronization trees, and metric spaces
• Trees and semantics
• scientific article; zbMATH DE number 4050970 (Why is no real title available?)
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

This page was built for publication: Connections between two theories of concurrency: Metric spaces and synchronization trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3343434)