Connections between two theories of concurrency: Metric spaces and synchronization trees
DOI10.1016/S0019-9958(83)80039-4zbMATH Open0551.68035OpenAlexW1992072860MaRDI QIDQ3343434FDOQ3343434
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
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
metric spacesmodal logicdenotational semanticsobservational equivalencealgebraic semantics of communicationrigid synchronization treessemantic theories of concurrencyweak equivalence relation
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Cited In (12)
- 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
- Title not available (Why is that?)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Three metric domains of processes for bisimulation
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)
