May-Happen-in-Parallel Analysis for Actor-Based Concurrency

DOI10.1145/2824255zbMath1367.68056OpenAlexW2253323238MaRDI QIDQ5277912

Antonio Flores-Montoya, Elvira Albert, Enrique Martin-Martin, Samir Genaim

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2824255

zbMATH Keywords

analysisconcurrencyactorsmay-happen-in-parallel

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (1)

Stateful Behavioral Types for Active Objects

Uses Software

• SACO
• ABS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scala actors: Unifying thread-based and event-based programming
• Complexity of analyzing the synchronization structure of concurrent programs
• Compositional Termination Proofs for Multi-threaded Programs
• Global Data Flow Analysis and Iterative Algorithms
• Termination and Cost Analysis of Loops with Concurrent Interleavings
• Concurrent Objects à la Carte
• A Complete Guide to the Future
• Static Analysis

This page was built for publication: May-Happen-in-Parallel Analysis for Actor-Based Concurrency