Infinitely running concurrent processes with loops from a geometric viewpoint

MaRDI QIDQ2703722zbMATH OpenFDO

Authors Lisbeth Fajstrup, Stefan Sokołowski

Publication date 7 May 2001

zbMATH Keywords

formal topological semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Loops, ditopology and deadlocks
• Geometric analysis of nondeterminacy in dynamical systems
• Algebraic topology and concurrency
• On the classification of dipaths in geometric models for concurrency
• Some geometric perspectives in concurrency theory

Cited in

(4)

• Loops, ditopology and deadlocks
• Deadlocks and dihomotopy in mutual exclusion models
• Geometric analysis of nondeterminacy in dynamical systems
• Simplicial models of trace spaces

This page was built for publication: Infinitely running concurrent processes with loops from a geometric viewpoint

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