Monitoring Networks through Multiparty Session Types

  • Laura Bocchia, Tzu-chun Chenb, Romain Demangeonc, Kohei Hondad, Nobuko Yoshidae
  • Published 2017

Abstract

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognised, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper… (More)

Topics

7 Figures and Tables

Statistics

01020302015201620172018
Citations per Year

63 Citations

Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics