Loops, ditopology and deadlocks

DOI10.1017/S0960129500003157zbMath0961.68097OpenAlexW2106525918MaRDI QIDQ4507890

Lisbeth Fajstrup

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/s0960129500003157

zbMATH Keywords

loopsbranchingsdeadlock detectionrecursive processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Cut-off theorems for the \textit{PV}-model ⋮ A domain of spacetime intervals in general relativity ⋮ Enriched categories and models for spaces of evolving states ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ On the expressiveness of higher dimensional automata ⋮ Comparing Topological Models for Concurrency

This page was built for publication: Loops, ditopology and deadlocks