BETTY Papers at CONCUR 2015
The following papers by BETTY authors have been accepted for CONCUR 2015. Congratulations everyone!
Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes
Marco Carbone, Fabrizio Montesi, Nobuko Yoshida and Carsten Schurmann. Multiparty Session Types as Coherence Proofs
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas and Tjark Weber. Modal Logics for Nominal Transition Systems
Laura Bocchi, Julien Lange and Nobuko Yoshida. Meeting Deadlines Together
Andrea Cerone, Giovanni Bernardi and Alexey Gotsman. A Framework for Transactional Consistency Models with Atomic Visibility