Deadlock detection for actor-based coroutines

DOI10.1007/978-3-319-95582-7_3zbMath1460.68025OpenAlexW2809300884MaRDI QIDQ2024332

E. P. de Vink, Keyvan Azadbakht, Frank S. de Boer

Publication date: 4 May 2021

Full work available at URL: https://ir.cwi.nl/pub/27872

zbMATH Keywords

transition systemactordeadlock detectionpredicate abstractioncooperative scheduling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Creol: A type-safe object-oriented model for distributed concurrent systems
• Distributed Network Generation Based on Preferential Attachment in ABS
• Design of a separable transition-diagram compiler
• A Complete Guide to the Future
• Decidability Problems for Actor Systems
• Well-structured transition systems everywhere!

This page was built for publication: Deadlock detection for actor-based coroutines