Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Coppo, Mario
Dezani-Ciancaglini, Mariangiola
and
Venneri, Betti
2015.
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications,
Vol. 9,
Issue. 3-4,
p.
249.
Caires, Luís
and
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
74.
Castellani, Ilaria
Dezani-Ciancaglini, Mariangiola
and
Pérez, Jorge A.
2016.
Self-adaptation and secure information flow in multiparty communications.
Formal Aspects of Computing,
Vol. 28,
Issue. 4,
p.
669.
Di Giusto, Cinzia
and
Pérez, Jorge A.
2016.
Event-based run-time adaptation in communication-centric systems.
Formal Aspects of Computing,
Vol. 28,
Issue. 4,
p.
531.
Guanciale, Roberto
and
Tuosto, Emilio
2016.
An Abstract Semantics of the Global View of Choreographies.
Electronic Proceedings in Theoretical Computer Science,
Vol. 223,
Issue. ,
p.
67.
Dezani-Ciancaglini, Mariangiola
Ghilezan, Silvia
Jakšić, Svetlana
Pantović, Jovanka
and
Yoshida, Nobuko
2016.
Precise subtyping for synchronous multiparty sessions.
Electronic Proceedings in Theoretical Computer Science,
Vol. 203,
Issue. ,
p.
29.
Dezani-Ciancaglini, Mariangiola
and
Giannini, Paola
2016.
Reversible Multiparty Sessions with Checkpoints.
Electronic Proceedings in Theoretical Computer Science,
Vol. 222,
Issue. ,
p.
60.
Honda, Kohei
Yoshida, Nobuko
and
Carbone, Marco
2016.
Multiparty Asynchronous Session Types.
Journal of the ACM,
Vol. 63,
Issue. 1,
p.
1.
Severi, Paula
Padovani, Luca
Tuosto, Emilio
and
Dezani-Ciancaglini, Mariangiola
2016.
Coordination Models and Languages.
Vol. 9686,
Issue. ,
p.
245.
Cruz-Filipe, Luís
and
Montesi, Fabrizio
2017.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 10321,
Issue. ,
p.
92.
Crafa, Silvia
and
Padovani, Luca
2017.
The Chemical Approach to Typestate-Oriented Programming.
ACM Transactions on Programming Languages and Systems,
Vol. 39,
Issue. 3,
p.
1.
Bono, Viviana
Coppo, Mario
Dezani-Ciancaglini, Mariangiola
and
Venneri, Betti
2017.
Data-driven adaptation for smart sessions.
Journal of Logical and Algebraic Methods in Programming,
Vol. 90,
Issue. ,
p.
31.
Cruz-Filipe, Luís
Larsen, Kim S.
and
Montesi, Fabrizio
2017.
Foundations of Software Science and Computation Structures.
Vol. 10203,
Issue. ,
p.
424.
Scalas, Alceste
and
Yoshida, Nobuko
2017.
Multiparty Session Types, Beyond Duality (Abstract).
Electronic Proceedings in Theoretical Computer Science,
Vol. 246,
Issue. ,
p.
37.
Hüttel, Hans
Lanese, Ivan
Vasconcelos, Vasco T.
Caires, Luís
Carbone, Marco
Deniélou, Pierre-Malo
Mostrous, Dimitris
Padovani, Luca
Ravara, António
Tuosto, Emilio
Vieira, Hugo Torres
and
Zavattaro, Gianluigi
2017.
Foundations of Session Types and Behavioural Contracts.
ACM Computing Surveys,
Vol. 49,
Issue. 1,
p.
1.
Huang, Changqin
Wang, Xizhe
and
Wang, Dianhui
2018.
Type theory based semantic verification for service composition in cloud computing environments.
Information Sciences,
Vol. 469,
Issue. ,
p.
101.
Cruz-Filipe, Luís
Montesi, Fabrizio
and
Peressotti, Marco
2018.
Communications in choreographies, revisited.
p.
1248.
Tuosto, Emilio
and
Guanciale, Roberto
2018.
Semantics of global view of choreographies.
Journal of Logical and Algebraic Methods in Programming,
Vol. 95,
Issue. ,
p.
17.
Giallorenzo, Saverio
Montesi, Fabrizio
and
Gabbrielli, Maurizio
2018.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 10854,
Issue. ,
p.
21.
Scalas, Alceste
and
Yoshida, Nobuko
2018.
Multiparty session types, beyond duality.
Journal of Logical and Algebraic Methods in Programming,
Vol. 97,
Issue. ,
p.
55.