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

DOI10.1016/S0019-9958(83)80039-4zbMath0551.68035OpenAlexW1992072860MaRDI QIDQ3343434

William C. Rounds, William G. Golson

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

modal logicmetric spacesdenotational 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)

Related Items (9)

A hierarchy of domains for real-time distributed computing ⋮ Three metric domains of processes for bisimulation ⋮ Transition systems, metric spaces and ready sets in the semantics of uniform concurrency ⋮ A timed model for communicating sequential processes ⋮ 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 ⋮ Trees and semantics ⋮ Towards a foundation for semantics in complete metric spaces ⋮ A fixed-point theorem in a category of compact metric spaces

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