scientific article; zbMATH DE number 2086216

MaRDI QIDQ3044313zbMATH OpenFDO

Authors Éric Goubault, Martin Raussen

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2286/22860016.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• State spaces and dipaths up to dihomotopy
• Geometry and concurrency: a user's guide
• Deadlocks and dihomotopy in mutual exclusion models
• Some geometric perspectives in concurrency theory
• On the classification of dipaths in geometric models for concurrency

Cited in

(12)

• Code, Context, and Epigenetic Catalysis in Gene Expression
• On the specification of higher dimensional automata
• Cubical local partial orders on cubically subdivided spaces -- existence and construction
• Deadlocks and dihomotopy in mutual exclusion models
• State spaces and dipaths up to dihomotopy
• On the join dependency relation in multinomial lattices
• Undirected Graphs of Entanglement 2
• Components of the fundamental category. II
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Invariants of directed spaces
• Culture and inattentional blindness: a global workspace perspective

This page was built for publication:

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