Combinatorics of past-similarity in higher dimensional transition systems

Publication date 4 October 2017

Full work available at URL https://arxiv.org/abs/1607.07678, http://www.emis.de/journals/TAC/volumes/32/33/32-33abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

bisimulation causal structure combinatorial model category discrete model structure higher dimensional transition system left determined model category

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: The key notion to understand the left determined Olschok model category of star-shaped Cattani-Sassone transition systems is past-similarity. Two states are past-similar if they have homotopic pasts. An object is fibrant if and only if the set of transitions is closed under past-similarity. A map is a weak equivalence if and only if it induces an isomorphism after the identification of all past-similar states. The last part of this paper is a discussion about the link between causality and homotopy.

Recommendations

Cited in

(3)

This page was built for publication: Combinatorics of past-similarity in higher dimensional transition systems

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