scientific article; zbMATH DE number 2086216

zbMATH Open1059.68072MaRDI QIDQ3044313FDOQ3044313

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

Title of this publication is not available (Why is that?)

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

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)

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)