Preface.- Acknowledgments.- Chapter 1. Introduction.- Chapter 2. Related work on deadlock and termination detection techniques.- Chapter 3. Integrated Model of Distributed Systems.- Chapter 4. Model Checking of IMDS specifications in the Dedan environment.- etc.
María Eugenia Cornejo, László T. Kóczy, Jesús Medina, Antonio Eduardo De Barros Ruano, Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo de Barros Ruano