921 citations
- Aarhus UniversityDK2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- Technical University of DenmarkDK2 papers
- University of CopenhagenDK2 papers
- University of OxfordGB2 papers
- Aalborg UniversityDK1 paper
- Aix-Marseille UniversitéFR1 paper
- AT&T (United States)US1 paper
- Carnegie Mellon UniversityUS1 paper
- Center for Massive Data AlgorithmicsDK1 paper
- Centre de Physique ThéoriqueFR1 paper
4 papers · 1 filter
Proceedings Third Workshop on Behavioural Types
Marco Carbone
This volume contains the proceedings of BEAT 2014, the third Workshop on Behavioural Types. The workshop took place in Rome, Italy, on September 1st 2014, as a satellite even of CO…
Merging Multiparty Protocols in Multiparty Choreographies
Marco Carbone, Fabrizio Montesi
Choreography-based programming is a powerful paradigm for defining communication-based systems from a global viewpoint. A choreography can be checked against multiparty protocol sp…
A Graphical Approach to Progress for Structured Communication in Web Services
Marco Carbone, Søren Debois
We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipli…
Towards a Unified Framework for Declarative Structured Communications
Hugo A. López, Carlos Olarte, Jorge A. Pérez
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in additi…