Termination detection for active objects
From MaRDI portal
Publication:444506
DOI10.1016/j.jlap.2012.03.009zbMath1243.68221MaRDI QIDQ444506
Martin Steffen, Frank S. de Boer, 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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
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!