Études
Models and Languages for Verification
LOG6953HE Main concepts of concurrency: linear time vs branching time, interleaving vs true concurrency, locality. Modeling of concurrent systems based on automata. Labeled transition systems and Kripke structures. Higher-level languages for concurrent sy ...
https://www.polymtl.ca/programmes/cours/models-and-languages-verification