Time-reversal homotopical properties of concurrent systems.

Cameron Calk Eric Goubault Philippe Malbos

Published in: CoRR (2018)

Keyphrases

concurrent systems
temporal logic
distributed systems
transition systems
petri net
process algebra
data sets
desirable properties
topological properties
real time
machine learning
website
structural properties