Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).

Bas van den Heuvel Jorge A. Pérez

Published in: CoRR (2021)

Keyphrases

real time
machine learning
website
bayesian networks
software engineering
design process
development process
network design