Beyond series-parallel concurrent systems: the case of arch processes.

Olivier Bodini Matthieu Dien Antoine Genitrini Alfredo Viola

Published in: CoRR (2018)

Keyphrases

series parallel
concurrent systems
temporal logic
distributed systems
petri net
precedence constraints
artificial intelligence
software engineering
model checking
temporal reasoning
formal specification