Some geometric perspectives in concurrency theory

DOI10.4310/HHA.2003.V5.N2.A5zbMATH Open1034.68059MaRDI QIDQ1397802FDOQ1397802

Authors: Éric 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

Recommendations

• Algebraic topology and concurrency
• From concurrency to algebraic topology
• Invariants of directed spaces
• Formal relationships between geometrical and classical models for concurrency
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram

zbMATH Keywords

di-homotopy

Mathematics Subject Classification ID

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

Cited In (41)

• On the classification of dipaths in geometric models for concurrency
• Code, Context, and Epigenetic Catalysis in Gene Expression
• A hyperbolic concurrency theorem
• From geometric semantics to asynchronous computability
• Combinatorics of labelling in higher-dimensional automata
• Title not available (Why is that?)
• Covering space theory for directed topology
• Polygraphic resolutions and homology of monoids
• Topological abstraction of higher-dimensional automata
• Modelling and computing homotopy types: I
• A semi-abelian approach to directed homology
• Cubical local partial orders on cubically subdivided spaces -- existence and construction
• Deadlocks and dihomotopy in mutual exclusion models
• The continuous weak order
• Some collapsing operations for 2-dimensional precubical sets
• A fibration category of local pospaces
• The homology digraph of a preordered space
• Context for models of concurrency
• Comparing topological models for concurrency
• Geometric and combinatorial views on asynchronous computability
• On symmetric higher-dimensional automata and bisimilarity
• Components of the fundamental category. II
• On the expressiveness of higher dimensional automata
• Algebraic topology and concurrency
• Toward formal models of biologically inspired, highly parallel machine cognition
• A framework for component categories
• Geometric analysis of nondeterminacy in dynamical systems
• Directed algebraic topology, categories and higher categories
• Infinitely running concurrent processes with loops from a geometric viewpoint
• Zigzag normalisation for associative \(n\)-categories
• Weak morphisms of higher dimensional automata
• A model category for local po-spaces
• Syntactic regions for concurrent programs
• T-homotopy and refinement of observation. I: Introduction
• Cubical $(\omega,p)$-categories
• Investigation of concurrent processes by means of homotopy functors
• Culture and inattentional blindness: a global workspace perspective
• The geometry of semaphore programs
• Title not available (Why is that?)
• From concurrency to algebraic topology
• Geometry and concurrency: a user's guide

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

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