Monitors and blame assignment for higher-order session types
From MaRDI portal
Publication:2828298
DOI10.1145/2837614.2837662zbMath1347.68269OpenAlexW2264604278MaRDI QIDQ2828298
Limin Jia, Hannah Gommerstadt, Frank Pfenning
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2837614.2837662
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items
Reversibility in session-based concurrency: a fresh look, Bidirectional Runtime Enforcement of First-Order Branching-Time Properties, On first-order runtime enforcement of branching-time properties, Unnamed Item, Unnamed Item, Unnamed Item, Monitoring networks through multiparty session types, Computer says no: verdict explainability for runtime monitors using a local proof system, A theory of monitors, Session-typed concurrent contracts, Consistently-detecting monitors, On bidirectional runtime enforcement