Actor Services - Modular Verification of Message Passing Programs
No abstract available.
Related papers
- Inferring ownership transfer for efficient message passing PPoPP 2011
- Scalable and serializable networked multi-actor programming OOPSLA 2020
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- Verifying message-passing programs with dependent behavioural types PLDI 2019
- Orca: GC and type system co-design for actor languages OOPSLA 2017
- Programming and reasoning about actors that share state JFP 2024
- Collective Contracts for Message-Passing Parallel Programs CAV 2024
- CRGC: Fault-Recovering Actor Garbage Collection in Pekko PLDI 2025