Localic sup-lattices and tropological systems.

DOI10.1016/S0304-3975(02)00702-8zbMath1060.06022OpenAlexW2124170184MaRDI QIDQ1427786

Pedro Resende, Steven Vickers

Publication date: 14 March 2004

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00702-8

zbMATH Keywords

systemQuantaleLocalic quantale moduleLocalic sup-latticeLocalic tropologicalProcess semanticsThird completeness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Frames, locales (06D22) Other constructive mathematics (03F65) Quantales (06F07)

Related Items

The spectrum of a localic semiring ⋮ Positivity relations on a locale ⋮ Open maps of involutive quantales ⋮ Quantales and Fell bundles ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ Sheaves as modules ⋮ Algebraic and Categorical Aspects of Quantales ⋮ A noncommutative theory of Penrose tilings ⋮ Functoriality of groupoid quantales. I. ⋮ Tropological systems are points of quantales

Cites Work

• Tropological systems are points of quantales
• A domain equation for bisimulation
• An extension of the Galois theory of Grothendieck
• Quantales, observational logic and process semantics
• Constructive points of powerlocales
• Topical categories of domains
• Constructive theory of the lower power locale
• Quantales, finite observations and strong bisimulation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item