1
TITLE: Foundations of Session Types and Behavioural Contracts  Full Text
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 120
2
TITLE: Towards Global and Local Types for Adaptation
AUTHORS: Mario Bravetti; Marco Carbone; Thomas Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: Scopus WOS CrossRef
3
TITLE: ADAPTABLE PROCESSES  Full Text
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez ; Gianluigi Zavattaro;
PUBLISHED: 2012, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 8, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Adaptable Processes (Extended Abstract)
AUTHORS: Mario Bravetti; Cinzia Di Giusto; Jorge A Perez; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, VOLUME: 6722
INDEXED IN: WOS
6
TITLE: CONCUR 2009 - Concurrency Theory
AUTHORS: Mario Bravetti; Gianluigi Zavattaro;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef