Context for models of concurrency

DOI10.1016/J.ENTCS.2009.02.014MaRDI QIDQ2810953zbMATH OpenOpenAlexFDO

Authors Peter Bubenik

Publication date 6 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0608733

zbMATH Keywords

contextdirected homotopyfundamental categorymodel categorymodels for concurrencypospacepushout

Mathematics Subject Classification ID

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

Abstract: Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too coarse. This paper introduces the notion of context to refine this definition.

Recommendations

• scientific article; zbMATH DE number 3905836
• Some geometric perspectives in concurrency theory
• Invariants of directed spaces
• A model category for the homotopy theory of concurrency
• Comparing topological models for concurrency

Cites work

• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Components of the fundamental category
• Dicovering spaces
• scientific article; zbMATH DE number 1803729 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Some geometric perspectives in concurrency theory
• State spaces and dipaths up to dihomotopy
• Universal homotopy theories

Cited in

(9)

• Four domains for concurrency
• Studying Operational Models of Relaxed Concurrency
• Building a Modal Interface Theory for Concurrency and Data
• scientific article; zbMATH DE number 125888 (Why is no real title available?)
• A Hurewicz model structure for directed topology
• Modeling concurrency with interval traces
• Simplicial Models for Concurrency
• Modelling concurrency with comtraces and generalized comtraces
• Models of central capacity and concurrency

This page was built for publication: Context for models of concurrency

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