Some geometric perspectives in concurrency theory

DOI10.4310/HHA.2003.v5.n2.a5zbMath1034.68059MaRDI QIDQ1397802

Eric Goubault

Publication date: 2003

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/50689

zbMATH Keywords

di-homotopy

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Simplicial sets and complexes in algebraic topology (55U10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (23)

Topological abstraction of higher-dimensional automata ⋮ Cubical local partial orders on cubically subdivided spaces -- existence and construction ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ Geometric and combinatorial views on asynchronous computability ⋮ Modelling and computing homotopy types: I ⋮ The continuous weak order ⋮ Culture and inattentional blindness: a global workspace perspective ⋮ Toward formal models of biologically inspired, highly parallel machine cognition ⋮ Weak morphisms of higher dimensional automata ⋮ Cubical $(\omega,p)$-categories ⋮ Components of the fundamental category. II ⋮ Combinatorics of labelling in higher-dimensional automata ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ On the expressiveness of higher dimensional automata ⋮ Algebraic topology and concurrency ⋮ Polygraphic resolutions and homology of monoids ⋮ Context for Models of Concurrency ⋮ A Framework for Component Categories ⋮ T-homotopy and Refinement of Observation (I): Introduction ⋮ Comparing Topological Models for Concurrency ⋮ A Fibration Category of Local Pospaces ⋮ Code, Context, and Epigenetic Catalysis in Gene Expression ⋮ On symmetric higher-dimensional automata and bisimilarity

This page was built for publication: Some geometric perspectives in concurrency theory