Deadlock analysis of unbounded process networks
- Cosimo Laneve | University of Bologna
Speaker Details
Bio to follow
-
-
Jeff Running
-
Watch Next
-
-
-
Microsoft Transforms its Cloud Supply Chain with Optimization and Generative AI
- Peter Lee,
- Konstantina Mellou,
- Kayla Kummerlowe
-
-
Dion2: A new simple method to shrink matrix in Muon
- Anson Ho,
- Kwangjun Ahn
-
-
-
-
-
