Transactors
From MaRDI portal
Publication:5276146
DOI10.1145/1040305.1040322zbMath1369.68134OpenAlexW2105526656MaRDI QIDQ5276146
Publication date: 14 July 2017
Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1040305.1040322
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 (5)
Distinguishing between communicating transactions ⋮ Causal-consistent rollback in a tuple-based language ⋮ A theory of reversibility for Erlang ⋮ Scala actors: Unifying thread-based and event-based programming ⋮ Controlling Reversibility in Higher-Order Pi
Uses Software
This page was built for publication: Transactors