A projective formalism applied to topological and probabilistic event structures

DOI10.1017/S096012950700607XzbMath1125.68079OpenAlexW2103611638MaRDI QIDQ5756981

Samy Abbes

Publication date: 6 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950700607x

zbMATH Keywords

projective systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

True-concurrency probabilistic models: Markov nets and a law of large numbers ⋮ Branching cells for asymmetric event structures ⋮ Concurrency, σ-Algebras, and Probabilistic Fairness

Cites Work

• Projective topology on bifinite domains and applications
• A metric for traces
• Measure extension theorems for \(T_{0}\)-spaces
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• An Extension Result for Continuous Valuations
• Measures in Boolean Algebras
• Metric semantics for true concurrent real time

This page was built for publication: A projective formalism applied to topological and probabilistic event structures