Termination detection for active objects

DOI10.1016/j.jlap.2012.03.009zbMath1243.68221OpenAlexW2023797220MaRDI QIDQ444506

Frank S. de Boer, Martin Steffen, Immo Grabe

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.009

zbMATH Keywords

process algebramodeling languagedeadlock detectionactive objectsCreolglobal deadlocks

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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)

Related Items

Quantified abstract configurations of distributed systems

Uses Software

• Creol
• Rebeca

Cites Work

• Behavioral interface description of an object-oriented language with futures and promises
• Creol: A type-safe object-oriented model for distributed concurrent systems
• On the expressiveness of Linda coordination primitives.
• Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
• A Complete Guide to the Future
• Well-structured transition systems everywhere!