Projective topology on bifinite domains and applications

DOI10.1016/j.tcs.2006.07.047zbMath1118.68093OpenAlexW2156151399MaRDI QIDQ854172

Samy Abbes, Klaus Keimel

Publication date: 7 December 2006

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.047

zbMATH Keywords

Radon measuresmaximal elementsbifinite domainscontinuous valuations

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)

Related Items

Markovian dynamics of concurrent systems, Uniform Generation in Trace Monoids, True-concurrency probabilistic models: Markov nets and a law of large numbers, Branching cells for asymmetric event structures, A projective formalism applied to topological and probabilistic event structures, Countable random 𝑝-groups with prescribed Ulm-invariants, Almost Every Domain is Universal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• Measure extension theorems for \(T_{0}\)-spaces
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• A Powerdomain Construction
• An Extension Result for Continuous Valuations
• Continuous Lattices and Domains
• Markov nets: probabilistic models for distributed and concurrent systems
• CONCUR 2004 - Concurrency Theory
• Measures in Boolean Algebras