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