25 citations · 28 across the 6 of their papers we have counts for
6 papers
MAG!: The Role of Replication in Typing Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
MAG is a Multiparty, Asynchronous and Generalised -calculus that introduces timeouts into session types as a means of reasoning about failure-prone communication. Its type sy…
Session Types for the Transport Layer: Towards an Implementation of TCP
Samuel Cavoj, Ivan Nikitin, Colin Perkins +1
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the…
EXPRESSing Session Types
Ilaria Castellani, Ornela Dardha, Luca Padovani +1
To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard -calculus by means of a sui…
Traced Types for Safe Strategic Rewriting
Rongxiao Fu, Ornela Dardha, Michel Steuwer
Strategy languages enable programmers to compose rewrite rules into strategies and control their application. This is useful in programming languages, e.g., for describing program…
MAG: Types for Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several work…
Recursive Session Types Revisited
Ornela Dardha
Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a…