Monitors and blame assignment for higher-order session types

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

zbMATH Keywords

contractssession typesblame assignmentmonitors

Mathematics Subject Classification ID

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