Deadlock Analysis of Wait-Notify Coordination

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Cosimo Laneve, Luca Padovani

Journal title: 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

Journal number: 11760

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 50-67

DOI identifier: 10.1007/978-3-030-31175-9_4

ISBN: 978-3-030-31174-2