Geometry and concurrency: a user's guide

DOI10.1017/S0960129500003133zbMath0956.68517OpenAlexW1987664458MaRDI QIDQ4507888

Eric Goubault

Publication date: 10 October 2000

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

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

zbMATH Keywords

concurrency theorygeometrical methods

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ A geometric view of partial order reduction ⋮ Higher fundamental groupoids for spaces ⋮ Natural Homology ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ The entropy of a distributed computation random number generation from memory interleaving ⋮ Unnamed Item ⋮ Absolute lax 2-categories ⋮ Directed algebraic topology, categories and higher categories ⋮ Unnamed Item ⋮ On the expressiveness of higher dimensional automata ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ The geometry of conservative programs ⋮ Topological Properties of Event Structures ⋮ A convenient category of locally preordered spaces ⋮ Directed Homotopy in Non-Positively Curved Spaces

This page was built for publication: Geometry and concurrency: a user's guide