Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes.

Olivier Bodini Matthieu Dien Antoine Genitrini Alfredo Viola

Published in: AofA (2018)

Keyphrases

concurrent systems
series parallel
temporal logic
distributed systems
model checking
formal specification
temporal reasoning
precedence constraints
scheduling problem
petri net