Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Orchard, Dominic
and
Yoshida, Nobuko
2016.
Using session types as an effect system.
Electronic Proceedings in Theoretical Computer Science,
Vol. 203,
Issue. ,
p.
1.
Cecilia, Gabriele
and
Momigliano, Alberto
2024.
A Beluga Formalization of the Harmony Lemma in the π-Calculus.
Electronic Proceedings in Theoretical Computer Science,
Vol. 404,
Issue. ,
p.
1.