32 citations · 78 across the 20 of their papers we have counts for
21 papers
Cryptographic Choreographies
Sebastian Mödersheim, Simon Lund, Alessandro Bruni +2
We present CryptoChoreo, a choreography language for the specification of cryptographic protocols. Choreographies can be regarded as an extension of Alice-and-Bob notation, providi…
A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
We present a choreographic framework for modelling and analysing concurrent probabilistic systems based on the PRISM model-checker. This is achieved through the development of a ch…
A Logical Interpretation of Asynchronous Multiparty Compatibility
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying the protocols that communicating processes must follow in a concurrent system. When composing two or more well-typed processes, a session typ…
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Marco Carbone, Rumyana Neykova
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practica…
Forwarders as Process Compatibility, Logically
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…
Synchronous Forwarders
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types are types for specifying protocols that processes must follow when communicating with each other. Session types are in a propositions-as-types correspondence with lin…