Skip to main content

Acta Informatica

Ausgabe 3/2017

Special Issue: Selected Papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) – Part 3

Inhalt (2 Artikel)

Original Article

Multiparty session types as coherence proofs

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida

Open Access Original Article

Characteristic bisimulation for higher-order session processes

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida