Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

You are here: Home / Publications

Publications

BETTY Publicity

Leaflet / poster summarising BETTY.

An article about BETTY, based on an interview with the chair, Professor Simon Gay, has appeared in EU Researcher magazine.

BETTY Publications

  • Preliminary proceedings of the Second International Workshop on Behavioural Types, Madrid, September 2013. Revised papers appear in Springer Lecture Notes in Computer Science volume 8368.
  • Working Group 1 (Foundations) State-of-the-Art Report
    Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro. Foundations of Session Types and Behavioural ContractsACM Computing Surveys 49(1), 2016. doi: 10.1145/2873052
  • Working Group 2 (Security) State-of-the-Art Report
    Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres VieiraCombining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 2015. doi:10.1016/j.jlamp.2015.09.003
    Open access version at HAL. 
  • Working Group 3 (Languages) State-of-the-Art Report
    Davide Ancona, Viviana Bono, Mario Bravetti, Giuseppe Castagna, Joana Campos, Simon J. Gay, Elena Giachino, Einar Broch Johnsen, Viviana Mascardi, Nicholas Ng, Luca Padovani, Pierre-Malo Deniélou, Nils Gesbert, Raymond Hu, Francisco Martins, Fabrizio Montesi, Rumyana Neykova, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages 3(2-3):95-230, 2016. doi: 10.1561/2500000031
  • Behavioural Types: From Theory to Tools
    Simon J. Gay and António Ravara (editors). River Publishers, 2017, to appear. 
     

Publications by BETTY members, by year and type

2016: Journals

Marco Carbone, Fabrizio Montesi, Nobuko Yoshida and Carsten Schurmann. Multiparty Session Types as Coherence Proofs. Acta Informatica, 2016.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Perez. Self-adaptation and secure information flow in multiparty communications. Formal Aspects of Computing 28 (4), pp. 28, 2016.

Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. Characteristic bisimulation for higher-order session processes. Acta Informatica, 2016.

Ornela Dardha, Daniele Gorla and Daniele Varacca. Semantic Subtyping for Objects and Classes. The Computer Journal, 2016.

Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro. Reversible client/server interactions. Formal Aspects of Computing 28(4): 697-722, 2016.

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto and Roberto Zunino. Honesty by Typing. Logical Methods in Computer Science 12(4), 2016.

Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna and Roberto Zumino. Contracts as games on event structures. J. Log. Algebr. Meth. Program. 85(3): 399-424, 2016.

Giovanni Bernardi and Matthew Hennessy. Using higher-order contracts to model session types. Logical Methods in Computer Science12(2), 2016.

Giovanni Bernardi and Matthew Hennessy. Mutually Testing Processes. Logical Methods in Computer Science 11(2), 2015.

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola: A Sorted Semantic Framework for Applied Process Calculi. Logical Methods in Computer Science 12(1)2016.

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: Information flow safety in multiparty sessions. Mathematical Structures in Computer Science 26(8)1352-1394, 2016.

Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty Asynchronous Session Types. J. ACM 63(1): 9:1-9:67, 2016.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Logical Methods in Computer Science12(1)2016.

Håkon Normann, Christian Johansen, Thomas T. Hildebrandt: Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebr. Meth. Program. 85(3)368-398, 2016.

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani: Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625: 25-84, 2016.

Cinzia Di Giusto, Jorge A. Pérez: Event-based run-time adaptation in communication-centric systems. Formal Asp. Comput.28(4)531-566, 2016.

Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto: Relating two automata-based models of orchestration and choreography. J. Log. Algebr. Meth. Program. 85(3): 425-446, 2016.

2016: Conferences

Bogdan Aman and Gabriel Ciobanu. Mobility Types for Cloud Computing. In Embracing Global Computing in Emerging Economies, volume 514 of  Communications in Computer and Information Science, pp 43-53. Springer, 2016.

Hugo A. López,  Flemming Nielson, and Hanne Riis Nielson. Enforcing Availability in Failure-Aware Communicating Systems. In Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Springer LNCS Volume 9688, 2016.

Filipe Militão, Jonathan Aldrich and Luís Caires. Composing Interfering Abstract Protocols. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). LIPIcs Volume 56, 2016.

Luís Caires, Jorge A. Pérez. Multiparty Session Types Within a Canonical Binary Theory, and Beyond. In Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Springer LNCS Volume 9688, 2016.

Peter Thiemann, Vasco T. Vasconcelos. Context-free session types. In Proceedings of the International Conference on Functional Programing (ICFP), 2016.

Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior and Marcin Szymczak. Fabular: Regression Formulas as Probabilistic Programming. In Proceedings of the International Symposium on Principles of Programming Languages (POPL), 2016.

Dominic Orchard and Nobuko YoshidaEffects as sessions, sessions as effects. In Proceedings of the International Symposium on Principles of Programming Languages (POPL), 2016.

Nicholas Ng and Nobuko Yoshida. Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis. In Proceedings of the International Conference on Compiler Construction. Springer Lecture Notes in Computer Science, 2016.

Julien Lange and Nobuko Yoshida. Characteristic Formulae for Session Types. In Proceedings of the International Conference on 

Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer Lecture Notes in Computer Science, 2016.

Dimitrios Kouzapas, Jorge A. Pérez and Nobuko YoshidaOn the relative expressiveness of higher-order session processes. In Proceedings of the European Symposium on Programming Languages and Systems (ESOP). Springer Lecture Notes in Computer Science, 2016.

Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini. On Sessions and Infinite Data. In Proceedings of the International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2016.

Hernan Melgratti and Christian Roldan. A Formal Analysis of the Global Sequence Protocol. In Proceedings of the International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2016.

Franco Barbara and Ugo de'Liguoro. A Game Interpretation of Retractable Contracts. In Proceedings of the International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2016.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon Gay. Typechecking Protocols with Mungo and StMungo. In Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP), 2016.

Elena Giachino, Ludovic Henrio, Cosimo Laneve and Vincenzo Mastandrea. Actors may synchronize, safely! In Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP), 2016.

Giovanni Bernardi and Alexey Gotsman. Robustness against consistency models with atomic visibility. In Proceedings of the International Conference on Concurrency Theory (CONCUR). LIPIcs, 2016.

Roly Perera, Deepak Garg and James Cheney. Causally consistent dynamic slicing. In Proceedings of the International Conference on Concurrency Theory (CONCUR). LIPIcs, 2016.

Ross Horne, Alwen Tiu, Bogdan Aman and Gabriel Ciobanu. Private Names in Non-Commutative Logic. In Proceedings of the International Conference on Concurrency Theory (CONCUR). LIPIcs, 2016.

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schuermann and Philip Wadler. Coherence Generalises Duality: a logical explanation of multiparty session types. In Proceedings of the International Conference on Concurrency Theory (CONCUR). LIPIcs, 2016.

Davide Ancona and Andrea Corradi. Semantic Subtyping for Imperative Object-Oriented Languages. In Proceedings of the International Conference on Object-Oriented Programming Systems, Languages and Architectures (OOPSLA), 2016. 

Duncan Attard and Adrian Francalanza. A Monitoring Tool for a Branching-Time Logic. In Proceedings of the International Conference on Runtime Verification (RV), 2016.

Adrian Francalanza. A Theory of Monitors (Extended Abstract). In Proceedings of the International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Springer Lecture Note in Computer Science, 2016.

Jorge A. Pérez: The Challenge of Typed Expressiveness in Concurrency. In Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE). Springer LNCS Volume 9688, 2016.

2016: Workshops

Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro. Secure Multiparty Sessions with Topics. In Proceedings of PLACES 2016, EPTCS 211, 2016.

Mario Coppo, Mariangiola Dezani-Ciancaglini and Betti Venneri. Parallel Monitors for Adaptive Sessions. In Proceedings of PLACES 2016, EPTCS 211, 2016.

Claudio Antares Mezzina and Jorge A. Pérez. Reversible Sessions Using Monitors. In Proceedings of PLACES 2016, EPTCS 211, 2016.

Roly Perera, Julien Lange and Simon Gay. Multiparty compatibility for concurrent objects. In Proceedings of PLACES 2016, EPTCS 211, 2016.


A. Laura Voinea, Simon J. Gay: Benefits of session types for software development. Proceedings of PLATEAU@SPLASH, 2016.

2015: Journals

Laura Bocchi and Emilio Tuosto. Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science 25(3): 619-665, 2015.

Laura Bocchi and Hernán C. Melgratti. On the behaviour of general purpose applications on cloud storages. Service Oriented Computing and Applications 9(3-4)213-227, 2015.

Franco Barbara and Ugo de'Liguoro. Sub-behaviour relations for session-based client/server systems. Mathematical Structures in Computer Science 25(6): 1339-1381, 2015.

Francesco Tiezzi and Nobuko Yoshida. Reversible session-based pi-calculus. Journal of Logical and Algebraic Methods in Programming 84(5):684-707, 2015.

Dimitris Monstrous and Nobuko Yoshida. Session typing and asynchronous subtyping for the higher-order pi-calculus. Information and Computation 241:227-263, 2015.

Simon J. Gay, Nils Gesbert, António Ravara and Vasco T. Vasconcelos. Modular Session Types for Objects. Logical Methods in Computer Science, 2015.

Adrian Francalanza and Aldrin Seychell. Synthesising correct concurrent runtime monitors. Formal Methods in System Design 46(3):226-261, 2015.

Svetlana Jakšić, Jovanka Pantović, Silvia Ghilezan. Linked Data Privacy. Mathematical Structures in Computer Science, 2015.

Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari and Roberto Zunino. Model checking usage policies. Mathematical Structures in Computer Science 25(3): 710-763, 2015.

Massimo Bartoletti, Julien Lange, Alceste Scalas and Roberto Zunino. Choreographies in the wild. Sci. Comput. Program. 109: 36-60, 2015.

Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino and Roberto Zunino. Vicious circles in contracts and in logic. Sci. Comput. Program. 109: 61-95, 2015.

Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow:
Broadcast psi-calculi with an application to wireless protocols. Software and System Modeling 14(1)201-216, 2015.

Tzu-Chun Chen: Lightening global types. J. Log. Algebr. Meth. Program. 84(5): 708-729, 2015.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri: Self-adaptive multiparty sessions. Service Oriented Computing and Applications 9(3-4): 249-268, 2015.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro: Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46, 2015.

Luca Padovani: Type Reconstruction for the Linear π-Calculus with Composite Regular Types. Logical Methods in Computer Science 11(4), 2015.

Cosimo Laneve, Luca Padovani: An algebraic theory for web service contracts. Formal Asp. Comput. 27(4): 613-640, 2015.

Cinzia Di Giusto, Jorge A. Pérez: Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265, 2015.

Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro: Automatic deployment of component-based applications. Sci. Comput. Program. 113261-284, 2015.

Philip Wadler: Propositions as types. Commun. ACM 58(12): 75-84, 2015.


2015: Conferences

Ian Cassar and Adrian FrancalanzaRuntime Adaptation for Actor Systems. In Proceedings of the 6th International Conference on Runtime Verification, 2015.

Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir. On Verifying Hennessy-Milner Logic with Recursion at Runtime. In Proceedings of the 6th International Conference on Runtime Verification, 2015.

Silvia Crafa and Luca Padovani. The Chemical Approach to Typestate-Oriented Programming. In Proceedings of OOPSLA, 2015.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida.
Protocol-based verification of message-passing parallel programs.

In Proceedings of OOPSLA, 2015.

Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes. In Proceedings of the 26th International Conference on Concurrency Theory, Springer Lecture Notes in Computer Science, 2015.

Marco Carbone, Fabrizio Montesi, Nobuko Yoshida and Carsten Schurmann. Multiparty Session Types as Coherence Proofs. In Proceedings of the 26th International Conference on Concurrency Theory, Springer Lecture Notes in Computer Science, 2015.

Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas and Tjark Weber. Modal Logics for Nominal Transition Systems. In Proceedings of the 26th International Conference on Concurrency Theory, Springer Lecture Notes in Computer Science, 2015.

Laura Bocchi, Julien Lange and Nobuko Yoshida. Meeting Deadlines Together. In Proceedings of the 26th International Conference on Concurrency Theory, Springer Lecture Notes in Computer Science, 2015.

Andrea Cerone, Giovanni Bernardi and Alexey Gotsman. A Framework for Transactional Consistency Models with Atomic Visibility. In Proceedings of the 26th International Conference on Concurrency Theory, Springer Lecture Notes in Computer Science, 2015.

Mauricio Cano, Hugo A. López, Jorge A. Pérez and Camilo Rueda. Declarative Interpretations of Session-Based Concurrency. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. ACM Press, 2015.

Luca Padovani, Tzu-Chun Chen and Andrea Tosatto. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. In Proceedings of the 17th IFIP International Conference on Coordination Models and Languages, Springer Lecture Notes in Computer Science, 2015.

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese and Jacopo Mauro. Dynamic Choreographies: Safe Runtime Updates of Distributed Applications.  In Proceedings of the 17th IFIP International Conference on Coordination Models and Languages, Springer Lecture Notes in Computer Science, 2015.

Luca Padovani and Luca Novara. Types for Deadlock-Free Higher-Order Programs. In Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Springer Lecture Notes in Computer Science, 2015.

Dimitrios Kouzapas and Anna Philippou. Type checking privacy policies in the pi-calculus.  In Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Springer Lecture Notes in Computer Science, 2015.

Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. Compliance and subtyping in timed session types.  In Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Springer Lecture Notes in Computer Science, 2015.

Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgstrom, Nicolas Rolland, Thore Graepel and Daniel Tarlow. Probabilistic Programs as Spreadsheet Queries. In Proceedings of the European Symposium on Programming Languages and Systems, Springer Lecture Notes in Computer Science, 2015.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn and Véronique Benzaken. A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. In Proceedings of the European Symposium on Programming Languages and Systems, Springer Lecture Notes in Computer Science, 2015.

Sam Lindley and J. Garrett Morris. A Semantics for Propositions as Sessions. In Proceedings of the European Symposium on Programming Languages and Systems, Springer Lecture Notes in Computer Science, 2015.

Adrian Francalanza and Clare Cini. An LTL proof system for runtime verification. In Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems, Springer Lecture Notes in Computer Science, 2015.

Nicholas Ng, Jose Gabriel de Figueiredo Coutinho and Nobuko Yoshida. Protocols by default: safe MPI code generation based on session types. In Proceedings of the International Conference on Compiler Construction, Springer Lecture Notes in Computer Science, 2015.

Julien Lange, Emilio Tuosto and Nobuko Yoshida. From Communicating Machines to Graphical Choreographies. In Proceedings of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2015.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu and Pietro Abate. Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. In Proceedings of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2015.

Luísa Lourenço and Luís Caires. Dependent Information Flow Types.  In Proceedings of the ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2015.

2015: Workshops

Adrian Francalanza, Marco Giunti and António Ravara. Unlocking Blocked Communicating Processes. In Proceedings of the 11th International Workshop on Automated Specification and Verification of Web Systems, 2015.

Ornela Dardha and Jorge A. Perez. Comparing Deadlock-Free Session Typed Processes. Presented at the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS), 2015.

Jovana DedeicJovanka Pantovic and Jorge A. PerezOn Compensation Primitives as Adaptable Processes. Presented at the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS), 2015.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez and Hugo Torres Vieira. A Typed Model for Dynamic Authorizations. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Dominic Orchard and Nobuko Yoshida. Using session types as an effect system. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Hans Hüttel and Nuno Pratas. Broadcast and aggregation in BBC. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida. Precise subtyping for synchronous multiparty sessions. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo de’Liguoro. Retractable contracts. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto. Communicating machines as a dynamic binding mechanism of services. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

Juliana Franco and Sophia Drossopoulou. Behavioural types for non-uniform memory accesses. Presented at the International Workshop on Programming Language Approaches to Communication and Concurrency-Centric Systems (PLACES), 2015.

2014: Journals

Mario Coppo, Mariagiola Dezani-Ciancaglini and Betti Venneri. Self-adaptive multiparty sessions. Service Oriented Computing and Applications, December 2014. DOI 10.1007/s11761-014-0171-9

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova and Nobuko Yoshida. Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design, Nov 2014, pp. 1-29.

Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini. Typing access control and secure information flow in sessions. Information and Computation 238:68-105, 2014.

Jorge A. Pérez, Luís Caires, Frank Pfenning and Bernardo Toninho. Linear logical relations and observational equivalences for session-based concurrency. Information and Computation, 2014.

Svetlana Jakšić and Luca Padovani. Exception handling for copyless messaging. Science of Computer Programming 84:22-51, 2014.

Cinzia Di Giusto and Jorge A. Pérez. Disciplined structured communications with disciplined runtime adaptation. Science of Computer Programming, 2014.

Philip Wadler. Propositions as Sessions. Journal of Functional Programming, Best Papers of ICFP 2012, 24(2-3):384-418, 2014.

Edsko DeVries, Adrian Francalanza and Matthew Hennessy. Uniqueness typing for resource management in message-passing concurrency. Journal of Logic and Computation 24(3):531-556, 2014.

Adrian Francalanza, Edsko DeVries and Matthew Hennessy. Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency. Logical Methods in Computer Science, 2014.

The following papers appear in a two-part special issue of Mathematical Structures in Computer Science, on Behavioural Types. The special issue is edited by Simon Gay and António Ravara, and is dedicated to the memory of Kohei Honda. The papers have been published online, ahead of the print publication.

      • Sara CapecchiElena Giachino and Nobuko Yoshida. Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Marco Giunti and Vasco Vasconcelos. Linearity, Session Types and the Pi Calculus. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Mario Coppo, Mariangiola Dezani-CiancagliniNobuko Yoshida and Luca Padovani. Global Progress for Dynamically Interleaved Multiparty Sessions. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu and Kohei Honda. On Asynchronous Eventful Session Semantics. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Luís Caires, Frank Pfenning and Bernardo Toninho. Linear Logic Propositions as Session Types. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Luca Padovani. Fair Subtyping for Multi-Party Session Types. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Matthew Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher and James Riely. An Extensible Approach to Session Polymorphism. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Giovanni Bernardi and Matthew Hennessy. Modelling session types using contracts. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.
      • Erika Ábrahám, Thi Mai Thuong Tran and Martin Steffen. Observable interface behavior and inheritance. Mathematical Structures in Computer Science, Special Issue on Behavioural Types, 2014.

 

2014: Conferences

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro and Maurizio Gabbrielli. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. In Proceedings of the 7th International Conference on Software Language Engineering (SLE), Springer Lecture Notes in Computer Science volume 8706, pages 161-170, 2014.

Giovanni Bernardi, Ornela Dardha, Simon J. Gay and Dimitrios Kouzapas. On duality relations for session types. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer Lecture Notes in Computer Science volume 8902, 2014.

Andrea Cerone and Matthew Hennessy. Characterising Testing Preorders for Broadcasting Distributed Systems. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer Lecture Notes in Computer Science volume 8902, 2014.

Luca Fossati, Raymond Hu and Nobuko Yoshida. Multiparty Session Nets. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer Lecture Notes in Computer Science volume 8902, 2014.

Peter Thiemann. Session Types with Gradual Types. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer Lecture Notes in Computer Science volume 8902, 2014.

Bernardo Toninho, Luis Caires and Frank Pfenning. Corecursion and Non-Divergence in Session-Typed Processes. In Proceedings of the 9th International Symposium on Trustworthy Global Computing, Springer Lecture Notes in Computer Science volume 8902, 2014.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP), 2014.

Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang.    A Type Theoretic Specification for Partial Evaluation. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP), 2014.

Cinzia DiGiusto and Jorge Perez. An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. In Proceedings of the 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM). Springer Lecture Notes in Computer Science, 2014. 

Laura Bocchi, Weizhen Yang and Nobuko Yoshida. Timed Multiparty Session Types. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science, 2014.

Giovanni Bernardi and Matthew Hennessy. Using higher-order contracts to model session types. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science, 2014.

Marco Carbone, Fabrizio Montesi and Carsten Schuermann. Choreographies, Logically. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science, 2014.

Massimo Bartoletti, Alceste Scalas and Roberto Zunino. A semantic deconstruction of session types. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science, 2014.

Luca Padovani. Deadlock and Lock Freedom in the Linear π-Calculus. In Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), 2014.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. Self-Adaptive Monitors for Multiparty Sessions. In Proceedings of the 32nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (Formal Approaches to Parallel and Distributed Systems track, 4PAD), 2014.

Nicholas Ng, Nobuko Yoshida. Pabble: Parameterised Scribble for Parallel Programming. In Proceedings of the 32nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (Formal Approaches to Parallel and Distributed Systems track, 4PAD), 2014.

Marco Carbone, Ornela Dardha and Fabrizio Montesi. Progress as Compositional Lock-Freedom. In Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2014.

Dimitris Mostrous and Vasco T. Vasconcelos. Affine Sessions. In Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2014.

Luca Padovani, Vasco T. Vasconcelos and Hugo Torres Vieira. Typing Liveness in Multiparty Communicating Systems. In Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2014.

Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors. In Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science, 2014.

Søren Debois, Thomas Hildebrandt, Tijs Slaats and Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. In Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE). Springer Lecture Notes in Computer Science,  2014.

Luca PadovaniType Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. In Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Springer Lecture Notes in Computer Science volume 8412, 2014.

Vasileios Koutavas, Carlo Spaccasassi and Matthew Hennessy. Bisimulations for Communicating Transactions. In Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Springer Lecture Notes in Computer Science volume 8412, 2014.

Boris Düdder, Moritz Martens and Jakob Rehof. Staged Composition Synthesis. In Proceedings of the 23rd European Symposium on Programming (ESOP). Springer Lecture Notes in Computer Science volume 8410, 2014.

Laura Bocchi, Hernán Melgratti and Emilio Tuosto. Resolving Non-determinism in Choreographies. In Proceedings of the 23rd European Symposium on Programming (ESOP). Springer Lecture Notes in Computer Science volume 8410, 2014.

Peter Thiemann and Luminous Fennell. Gradual Typing for Annotated Type Systems. In Proceedings of the 23rd European Symposium on Programming (ESOP). Springer Lecture Notes in Computer Science volume 8410, 2014.

 

2014: Workshops

Silvia Ghilezan, Svetlana Jaksić, Jovanka Pantović, Jorge Pérez and Hugo Vieira. Dynamic Role Authorization in Multiparty Conversations. Presented at the 3rd International Workshop on Behavioural Types (BEAT), 2014.

Ilaria Castallani, Mariangiola Dezani-Ciancaglini and Jorge Pérez. Self Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. Proceedings of the International Workshop on Behavioural Types (BEAT), EPTCS 2014.

Rumyana Neykova, Laura Bocchi and Nobuko Yoshida. Timed Runtime Monitoring for Multiparty Conversations. Presented at the 3rd International Workshop on Behavioural Types (BEAT), 2014.

Ornela Dardha. Recursive Session Types Revisited. Presented at the 3rd International Workshop on Behavioural Types (BEAT), 2014.

Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro. Compliance for Reversible Client/Server Interactions. Presented at the 3rd International Workshop on Behavioural Types (BEAT), 2014.

Simon Gay, Nils Gesbert and António Ravara. Session Types as Generic Process Types. Presented at the Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics (EXPRESS/SOS), 2014.

Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen and Ugo de'Liguoro. Typing Classes and Mixins with Intersection Types. Proceedings of the 7th Workshop on Intersection Types and Related Systems (ITRS), EPTCS 177, 2014.

Dimitris Mostrous. Multiparty Sessions based on Proof Nets. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

Sam Lindley and J. Garrett Morris. Sessions as Propositions. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014.  

Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

Dimitrios Kouzapas, Ramūnas Gutkovas and Simon Gay. Session Types for Broadcasting. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

Tzu-Chun Chen.  Lightening Global Types. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantović. Session Type Isomorphisms. Presented at the 7th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2014. 

 

2013: Journals

Lucia Acciai, Michele Boreale and Gianluigi ZavattaroBehavioural contracts with request–response operations. Science of Computer Programming 78(2):248-267, 2013.

Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino and Betti Venneri. Deriving session and union types for objects. Mathematical Structures in Computer Science 23(6):1163-1219, 2013.

Lorenzo Bettini, Sara Capecchi and Ferruccio DamianiOn flexible dynamic trait replacement for Java-like languages. Science of Computer Programming 78(7):907-932, 2013.

M. Rodriguez-Pascual, A. Bustos, F. Castejon, I. Martin Llorente, R. Mayo-Garcia. Simulations of NBI fast ions distribution in stellarators based on coupled Monte Carlo fueling and orbit codes. Plasma Physics and Controlled Fusion 55:085014, 2013. 

M. Rodriguez-Pascual, I. Martin Llorente, R. Mayo-Garcia. Montera: A framework for the efficient execution of Monte Carlo codes on grid infrastructures. Computing and Informatics 32:113-144, 2013.

Marco Giunti. Algorithmic type checking for a pi-calculus with name matching and session types. Journal of Logic and Algebraic Programming 82(8): 263-281, 2013.

 

2013: Conferences

Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman PohjolaA Sorted Semantic Framework for Applied Process Calculi. In Proceedings of the 8th International Symposium on Trustworthy Global Computing. Springer Lecture Notes in Computer Science volume 8358, 2014.

Hans HüttelTypes for resources in psi-calculi. In Proceedings of the 8th International Symposium on Trustworthy Global ComputingSpringer Lecture Notes in Computer Science volume 8358, 2014.

Marco Giunti and António RavaraStatic deadlock resolution in the pi-calculus. In Proceedings of the 8th International Symposium on Trustworthy Global ComputingSpringer Lecture Notes in Computer Science volume 8358, 2014.

Adrian Francalanza and Aldrin SeychellSynthesising Correct Concurrent Runtime Monitors in Erlang. In Proceedings of the 4th International Conference on Runtime Verification. Springer Lecture Notes in Computer Science volume 8174, 2013.

Rumyana Neykova, Nobuko Yoshida and Raymond HuSPY: Local Verification of Global Protocols. In Proceedings of the 4th International Conference on Runtime Verification. Springer Lecture Notes in Computer Science volume 8174, 2013.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida and Romain DemangeonPractical interruptible conversations: Distributed dynamic verification with session types and Python. In Proceedings of the 4th International Conference on Runtime Verification. Springer Lecture Notes in Computer Science volume 8174, 2013.

Dimitrios Kouzapas and Nobuko YoshidaGlobally Governed Session Semantics. In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science volume 8052, 2013.

Fabrizio Montesi and Nobuko YoshidaCompositional Choreographies. In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR). Springer Lecture Notes in Computer Science volume 8052, 2013.

Cosimo Laneve and Luca Padovani. An Algebraic Theory for Web Service Contracts. In Proceedings of the 10th International Conference on Integrated Formal Methods (iFM). Springer Lecture Notes in Computer Science volume 7940, 2013.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, and Nobuko YoshidaMonitoring Networks through Multiparty Session Types. In Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS). Springer Lecture Notes in Computer Science volume 7892, 2013.

Viviana Bono, Luca Padovani, and Andrea TosattoPolymorphic Types for Leak Detection in a Session-Oriented Functional Language. In Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS). Springer Lecture Notes in Computer Science volume 7892, 2013.

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, and Roberto ZuninoHonesty by Typing. In Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS). Springer Lecture Notes in Computer Science volume 7892, 2013.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani and Nobuko YoshidaInference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. In Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science volume 7890, 2013.

Hugo Torres Vieira and Vasco T. VasconcelosTyping Progress in Communication-Centred Systems. In Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science volume 7890, 2013.

Tiago Cogumbreiro, Francisco Martins and Vasco T. VasconcelosCoordinating phased activities while maintaining progress. In Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION). Springer Lecture Notes in Computer Science volume 7890, 2013.

Daniel Hirschkoff, Jean-Marie Madiot and Davide SangiorgiName-passing calculi: from fusions to preorders and types. In Proceedings of the 28th ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2013.

Pierre-Malo Deniélou and Nobuko YoshidaMultiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP), Part II. Springer Lecture Notes in Computer Science volume 7966, 2013.

Luca PadovaniFair Subtyping for Open Session Types. In Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP), Part II. Springer Lecture Notes in Computer Science volume 7966, 2013.

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli and Gianluigi ZavattaroComponent Reconfiguration in the Presence of Conflicts. In Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP), Part II. Springer Lecture Notes in Computer Science volume 7966, 2013.

Luís Caires, Jorge A. Pérez, Frank Pfenning and Bernardo ToninhoBehavioral Polymorphism and Parametricity in Session-Based Communication. In Proceedings of the 22nd European Symposium on Programming Languages and Systems (ESOP). Springer Lecture Notes in Computer Science volume 7792, 2013.

Bernardo Toninho, Luís Caires and Frank PfenningHigher-Order Processes, Functions, and Sessions: A Monadic Integration. In Proceedings of the 22nd European Symposium on Programming Languages and Systems (ESOP). Springer Lecture Notes in Computer Science volume 7792, 2013.

Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino. A Theory of Agreements and Protection. In Proceedings of the 2nd International Conference on Principles of Security and Trust (POST). Springer Lecture Notes in Computer Science volume 7796, 2013.

Marco Carbone and Fabrizio Montesi. Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming. In Proceedings of the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 2013.

Luís Caires and João Seco. The Type Discipline of Behavioral Separation. In Proceedings of the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 2013.

 

2013: Workshops

Bogdan Aman and Gabriel Ciobanu. Behavioural Types Inspired by Cellular Thresholds. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Giovanni Bernardi and Matthew Hennessy. Compliance and testing preorders differ. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Perez and Gianluigi Zavattaro. Towards Global and Local Types for Adaptation. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Juliana Franco and Vasco Thudichum Vasconcelos. A concurrent programming language with refined session types. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Ross Horne, Rustem A. Kamun and Timur Umarov. Ensuring Faultless Communication Behaviour in an E-Commerce Cloud Application. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Dimitrios Kouzapas and Anna Philippou. A Typing System for Privacy. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Nicholas Ng, Nobuko Yoshida and Wayne Luk. Scalable session programming for heterogeneous high-performance systems. Presented at the 2nd International Workshop on Behavioural Types (BEAT 2), 2013. In Software Engineering and Formal Methods Co-located Workshops (BEAT2), Springer Lecture Notes in Computer Science volume 8368, 2014.

Ross Horne, Vladimiro Sassone and Gabriel Ciobanu. Local Type Checking for Linked Data. Presented at the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV), 2013.

Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro. Amending Choreographies. Presented at the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV), 2013.

Julien Lange and Alceste Scalas. Choreography Synthesis as Contract Agreement. In Proceedings of the 6th Interaction and Concurrency Experience (ICE), Electronic Proceedings in Theoretical Computer Science (EPTCS) 131:52-67, 2013.

Luca Padovani. From Lock Freedom to Progress Using Session Types. Presented at the 6th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2013.

Cinzia Di Giusto and Jorge A. Pérez. Session Types for Dynamically Evolvable Communicating Systems. Presented at the 6th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2013.     

Romain Demangeon and Laura Bocchi. Embedding Session Types in HML. Presented at the 6th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2013.   

Rumyana Neykova. Session Types Go Dynamic or How to Verify Your Python Conversations. Presented at the 6th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2013.   

Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng and Nuno Dias MartinsTowards deductive verification of MPI programs against session types. Presented at the 6th International Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES), 2013.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani and Nobuko Yoshida. Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. Presented at the 1st International Workshop on Behavioural Types (BEAT), 2013.

Thomas Hildebrandt, Marco Carbone and Tijs Slaats. RSVP: Live Sessions with Responses. Presented at the 1st International Workshop on Behavioural Types (BEAT), 2013.

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto and Roberto Zunino. Honesty by Typing. Presented at the 1st International Workshop on Behavioural Types (BEAT), 2013.

Vasco Vasconcelos. Linearity and Affinity in Refined Session Types (in memory of Kohei Honda). Presented at the 1st International Workshop on Behavioural Types (BEAT), 2013.

Jakob Rehof: Towards Combinatory Logic Synthesis. Presented at the 1st International Workshop on Behavioural Types (BEAT), 2013.