Geometry and concurrency: a user's guide

DOI10.1017/S0960129500003133MaRDI QIDQ4507888zbMATH OpenOpenAlexFDO

Authors Éric 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)

Recommendations

• Foreword
• scientific article; zbMATH DE number 1766941
• Some geometric perspectives in concurrency theory
• scientific article; zbMATH DE number 4098746
• scientific article; zbMATH DE number 1182929
• A discrete geometric model of concurrent program execution
• scientific article; zbMATH DE number 3919830
• scientific article; zbMATH DE number 43279

Cited in

(23)

• A convenient category of locally preordered spaces
• The entropy of a distributed computation random number generation from memory interleaving
• Higher fundamental groupoids for spaces
• Absolute lax 2-categories
• Directed algebraic topology, categories and higher categories
• On the expressiveness of higher dimensional automata
• Asynchronous games. II: The true concurrency of innocence
• History-preserving bisimilarity for higher-dimensional automata via open maps
• A geometric view of partial order reduction
• Topological properties of event structures
• A discrete geometric model of concurrent program execution
• scientific article; zbMATH DE number 2086216 (Why is no real title available?)
• Directed homotopy in non-positively curved spaces
• Lax 2-categories and directed homotopy
• Natural Homology
• The geometry of semaphore programs
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• The geometry of conservative programs
• CONCUR 2005 – Concurrency Theory
• Persistent homology of partially ordered spaces
• Irrationality of process replication for higher-dimensional automata
• Deadlocks and dihomotopy in mutual exclusion models
• Geometric analysis of nondeterminacy in dynamical systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4507888)