Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Barbanera, Franco
Dezani-Ciancaglini, Mariangiola
and
de' Liguoro, Ugo
2014.
Compliance for reversible client/server interactions.
Electronic Proceedings in Theoretical Computer Science,
Vol. 162,
Issue. ,
p.
35.
Barbanera, Franco
van Bakel, Steffen
and
de'Liguoro, Ugo
2015.
Orchestrated Session Compliance.
Electronic Proceedings in Theoretical Computer Science,
Vol. 189,
Issue. ,
p.
21.
Barbanera, Franco
Dezani-Ciancaglini, Mariangiola
Lanese, Ivan
and
de'Liguoro, Ugo
2016.
Retractable Contracts.
Electronic Proceedings in Theoretical Computer Science,
Vol. 203,
Issue. ,
p.
61.
Dezani-Ciancaglini, Mariangiola
and
Giannini, Paola
2016.
Reversible Multiparty Sessions with Checkpoints.
Electronic Proceedings in Theoretical Computer Science,
Vol. 222,
Issue. ,
p.
60.
Barbanera, Franco
Lanese, Ivan
and
de’Liguoro, Ugo
2017.
Coordination Models and Languages.
Vol. 10319,
Issue. ,
p.
119.
Barbanera, Franco
van Bakel, Steffen
and
de'Liguoro, Ugo
2017.
Orchestrated session compliance.
Journal of Logical and Algebraic Methods in Programming,
Vol. 86,
Issue. 1,
p.
30.
Barbanera, Franco
Lanese, Ivan
and
de'Liguoro, Ugo
2018.
A theory of retractable and speculative contracts.
Science of Computer Programming,
Vol. 167,
Issue. ,
p.
25.
Bernardi, Giovanni
and
Francalanza, Adrian
2018.
Full-abstraction for client testing preorders.
Science of Computer Programming,
Vol. 168,
Issue. ,
p.
94.
Bravetti, Mario
and
Zavattaro, Gianluigi
2019.
Software Engineering and Formal Methods.
Vol. 11724,
Issue. ,
p.
29.
Castellani, Ilaria
Dezani-Ciancaglini, Mariangiola
and
Giannini, Paola
2019.
Reversible sessions with flexible choices.
Acta Informatica,
Vol. 56,
Issue. 7-8,
p.
553.
Barbanera, Franco
and
de'Liguoro, Ugo
2019.
Session types and subtyping for orchestrated interactions.
Journal of Logical and Algebraic Methods in Programming,
Vol. 102,
Issue. ,
p.
103.
Barbanera, Franco
and
de'Liguoro, Ugo
2020.
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later.
p.
1.
Bravetti, Mario
Lange, Julien
and
Zavattaro, Gianluigi
2021.
Foundations of Software Science and Computation Structures.
Vol. 12650,
Issue. ,
p.
144.
Bravetti, Mario
and
Zavattaro, Gianluigi
2021.
Asynchronous session subtyping as communicating automata refinement.
Software and Systems Modeling,
Vol. 20,
Issue. 2,
p.
311.
Li, Elaine
Stutz, Felix
and
Wies, Thomas
2024.
Programming Languages and Systems.
Vol. 14576,
Issue. ,
p.
176.