Cosimo Laneve, Luca Padovani. Deadlock Analysis of Wait-Notify Coordination. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 50-67, Springer, 2019. [doi]
Abstract is missing.