The geometry of timed PV programs

MaRDI QIDQ2843710zbMATH OpenFDO

Authors Uli Fahrenberg

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104808326

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On execution spaces of PV-programs
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• The geometry of semaphore programs
• Homology of Spaces of Directed Paths in Euclidean Pattern Spaces
• Cut-off theorems for the \textit{PV}-model

Cited in

(3)

• Algebraic topology and concurrency
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• On execution spaces of PV-programs

This page was built for publication: The geometry of timed PV programs

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