Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Dezani-Ciancaglini, Mariangiola
Ghilezan, Silvia
Jakšić, Svetlana
Pantović, Jovanka
and
Yoshida, Nobuko
2016.
Theory and Practice of Formal Methods.
Vol. 9660,
Issue. ,
p.
155.
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.
Thiemann, Peter
2019.
Intrinsically-Typed Mechanized Semantics for Session Types.
p.
1.
Thiemann, Peter
and
Vasconcelos, Vasco T.
2020.
Label-dependent session types.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. POPL,
p.
1.
Castro, David
Ferreira, Francisco
and
Yoshida, Nobuko
2020.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 12079,
Issue. ,
p.
278.
Castro-Perez, David
Ferreira, Francisco
Gheri, Lorenzo
and
Yoshida, Nobuko
2021.
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.
p.
237.
Zalakain, Uma
and
Dardha, Ornela
2021.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 12719,
Issue. ,
p.
157.
Jacobs, Jules
Balzer, Stephanie
and
Krebbers, Robbert
2022.
Connectivity graphs: a method for proving deadlock freedom based on separation logic.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. POPL,
p.
1.
Jacobs, Jules
Balzer, Stephanie
and
Krebbers, Robbert
2022.
Multiparty GV: functional multiparty session types with certified deadlock freedom.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. ICFP,
p.
466.
Almeida, Bernardo
Mordido, Andreia
Thiemann, Peter
and
Vasconcelos, Vasco T.
2022.
Polymorphic lambda calculus with context-free session types.
Information and Computation,
Vol. 289,
Issue. ,
p.
104948.
Jacobs, Jules
Hinrichsen, Jonas Kastberg
and
Krebbers, Robbert
2023.
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. ICFP,
p.
768.
Jacobs, Jules
Hinrichsen, Jonas Kastberg
and
Krebbers, Robbert
2024.
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
1385.