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.
Tiezzi, Francesco
and
Yoshida, Nobuko
2016.
Reversible Computation.
Vol. 9720,
Issue. ,
p.
52.
Barbanera, Franco
Dezani-Ciancaglini, Mariangiola
and
de’Liguoro, Ugo
2016.
Reversible client/server interactions.
Formal Aspects of Computing,
Vol. 28,
Issue. 4,
p.
697.
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
and
de’ Liguoro, Ugo
2016.
Coordination Models and Languages.
Vol. 9686,
Issue. ,
p.
18.
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.
Murgia, Maurizio
2019.
Input urgent semantics for asynchronous timed session types.
Journal of Logical and Algebraic Methods in Programming,
Vol. 107,
Issue. ,
p.
38.
Ghilezan, Silvia
Jakšić, Svetlana
Pantović, Jovanka
Scalas, Alceste
and
Yoshida, Nobuko
2019.
Precise subtyping for synchronous multiparty sessions.
Journal of Logical and Algebraic Methods in Programming,
Vol. 104,
Issue. ,
p.
127.
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.
Murgia, Maurizio
2019.
A Note On Compliance Relations And Fixed Points..
Electronic Proceedings in Theoretical Computer Science,
Vol. 304,
Issue. ,
p.
38.
Castellani, Ilaria
Dezani-Ciancaglini, Mariangiola
and
Giannini, Paola
2019.
Reversible sessions with flexible choices.
Acta Informatica,
Vol. 56,
Issue. 7-8,
p.
553.
Castagna, Giuseppe
Dezani-Ciancaglini, Mariangiola
Giachino, Elena
and
Padovani, Luca
2019.
Foundations of Session Types.
p.
1.
Bravetti, Mario
and
Zavattaro, Gianluigi
2021.
Asynchronous session subtyping as communicating automata refinement.
Software and Systems Modeling,
Vol. 20,
Issue. 2,
p.
311.
Murgia, Maurizio
2021.
A fixed-points based framework for compliance of behavioural contracts.
Journal of Logical and Algebraic Methods in Programming,
Vol. 120,
Issue. ,
p.
100641.
Barbanera, Franco
Lanese, Ivan
and
Tuosto, Emilio
2022.
On Composing Communicating Systems.
Electronic Proceedings in Theoretical Computer Science,
Vol. 365,
Issue. ,
p.
53.
Barbanera, Franco
Lanese, Ivan
and
Tuosto, Emilio
2023.
Composition of synchronous communicating systems.
Journal of Logical and Algebraic Methods in Programming,
Vol. 135,
Issue. ,
p.
100890.
Li, Elaine
Stutz, Felix
and
Wies, Thomas
2024.
Programming Languages and Systems.
Vol. 14576,
Issue. ,
p.
176.