scientific article; zbMATH DE number 7566052

MaRDI QIDQ5094124

Dan Plyukhin, Gul A. Agha

Publication date: 2 August 2022

Full work available at URL: https://arxiv.org/abs/2104.05128

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed systemsconcurrencytermination detectiongarbage collectionactorsquiescence detection

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• Erlang

Cites Work

• Unnamed Item
• Unnamed Item
• Conditional rewriting logic as a unified model of concurrency
• Correctness of a concurrent object collector for actor languages
• A foundation for actor computation
• Scalable termination detection for distributed actor systems
• Reasoning about meta level activities in open distributed systems

This page was built for publication: