Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Laneve, Cosimo
and
Padovani, Luca
2015.
An algebraic theory for web service contracts.
Formal Aspects of Computing,
Vol. 27,
Issue. 4,
p.
613.
Hu, Raymond
and
Yoshida, Nobuko
2017.
Fundamental Approaches to Software Engineering.
Vol. 10202,
Issue. ,
p.
116.
Bernardi, Giovanni
and
Francalanza, Adrian
2018.
Full-abstraction for client testing preorders.
Science of Computer Programming,
Vol. 168,
Issue. ,
p.
94.
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.
Glabbeek, Rob van
Hofner, Peter
and
Horne, Ross
2021.
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.
p.
1.
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.
Ciccone, Luca
and
Padovani, Luca
2022.
Fair termination of binary sessions.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. POPL,
p.
1.
Horne, Ross
and
Padovani, Luca
2023.
A Logical Account of Subtyping for Session Types.
Electronic Proceedings in Theoretical Computer Science,
Vol. 378,
Issue. ,
p.
26.
Ciccone, Luca
Dagnino, Francesco
and
Padovani, Luca
2024.
Fair termination of multiparty sessions.
Journal of Logical and Algebraic Methods in Programming,
Vol. 139,
Issue. ,
p.
100964.
Horne, Ross
and
Padovani, Luca
2024.
A logical account of subtyping for session types.
Journal of Logical and Algebraic Methods in Programming,
Vol. 141,
Issue. ,
p.
100986.