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.
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.
Caires, Luís
and
Pérez, Jorge A.
2016.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 9688,
Issue. ,
p.
74.
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.
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.
Severi, Paula
Padovani, Luca
Tuosto, Emilio
and
Dezani-Ciancaglini, Mariangiola
2016.
Coordination Models and Languages.
Vol. 9686,
Issue. ,
p.
245.
Honda, Kohei
Yoshida, Nobuko
and
Carbone, Marco
2016.
Multiparty Asynchronous Session Types.
Journal of the ACM,
Vol. 63,
Issue. 1,
p.
1.
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.
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.
Cruz-Filipe, Luís
Larsen, Kim S.
and
Montesi, Fabrizio
2017.
Foundations of Software Science and Computation Structures.
Vol. 10203,
Issue. ,
p.
424.
Cruz-Filipe, Luís
and
Montesi, Fabrizio
2017.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 10321,
Issue. ,
p.
92.
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.
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.
Scalas, Alceste
and
Yoshida, Nobuko
2017.
Multiparty Session Types, Beyond Duality (Abstract).
Electronic Proceedings in Theoretical Computer Science,
Vol. 246,
Issue. ,
p.
37.
Cruz-Filipe, Luís
Montesi, Fabrizio
and
Peressotti, Marco
2018.
Communications in choreographies, revisited.
p.
1248.
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.
Toninho, Bernardo
and
Yoshida, Nobuko
2018.
Interconnectability of Session-Based Logical Processes.
ACM Transactions on Programming Languages and Systems,
Vol. 40,
Issue. 4,
p.
1.
Scalas, Alceste
and
Yoshida, Nobuko
2018.
Multiparty session types, beyond duality.
Journal of Logical and Algebraic Methods in Programming,
Vol. 97,
Issue. ,
p.
55.
Giallorenzo, Saverio
Montesi, Fabrizio
and
Gabbrielli, Maurizio
2018.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 10854,
Issue. ,
p.
21.