On execution spaces of PV-programs

DOI10.1016/j.tcs.2016.01.018zbMath1335.68073arXiv1502.04498OpenAlexW2124548200MaRDI QIDQ5964017

Krzysztof Ziemiański

Publication date: 26 February 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

homotopy typeexecution spacePV-program

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Homology of Spaces of Directed Paths in Euclidean Pattern Spaces ⋮ Towards Directed Collapsibility (Research) ⋮ Directed path spaces via discrete vector fields ⋮ Spaces of directed paths on pre-cubical sets ⋮ Combinatorial conditions for directed collapsing ⋮ Inessential directed maps and directed homotopy equivalences ⋮ Connectivity of spaces of directed paths in geometric models for concurrent computation

Cites Work

• A cubical model for path spaces in d-simplicial complexes
• Execution spaces for simple higher dimensional automata
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• Components of the fundamental category
• Homology of spaces of directed paths on Euclidean cubical complexes
• Algebraic topology and concurrency
• Abstract Regular Polytopes
• Simplicial Models for Concurrency
• Combinatorial algebraic topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On execution spaces of PV-programs