The geometry of conservative programs

DOI10.1017/S0960129517000226zbMath1400.68057OpenAlexW2766503250MaRDI QIDQ4961721

E. Haucourt

Publication date: 25 October 2018

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Directed algebraic topology and higher dimensional transition systems
• Erratum to ``On the expressiveness of higher dimensional automata
• A convenient category of locally preordered spaces
• Exponentiable streams and prestreams
• Cubical approximation for directed topology. I
• A model category for local po-spaces
• Algebraic topology and concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Dipaths and dihomotopies in a cubical complex
• A Fibration Category of Local Pospaces
• A Geometric Approach to the Problem of Unique Decomposition of Processes
• The geometry of semaphore programs
• A fast algorithm for testing for safety and detecting deadlocks in locked transaction systems
• Geometry and concurrency: a user's guide
• Higher dimensional automata revisited
• Non-Hausdorff Topology and Domain Theory
• Formal Relationships Between Geometrical and Classical Models for Concurrency
• Streams, d-Spaces and Their Fundamental Categories
• Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item