Monitors and blame assignment for higher-order session types

Abstract

Session types provide a means to prescribe the communication behavior between concurrent message-passing processes. However, in a distributed setting, some processes may be written in languages that do not support static typing of sessions or may be compromised by a malicious intruder, violating invariants of the session types. In such a setting… (More)
DOI: 10.1145/2837614.2837662
View Slides

4 Figures and Tables

Topics

Statistics

0204020162017
Citations per Year

Citation Velocity: 18

Averaging 18 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.
  • Presentations referencing similar topics