Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Kjær, Bjørn Angel
Cruz-Filipe, Luís
and
Montesi, Fabrizio
2022.
Logic-Based Program Synthesis and Transformation.
Vol. 13474,
Issue. ,
p.
103.
Giallorenzo, Saverio
2023.
Programming Languages: Principles and Paradigms.
p.
473.
Cruz-Filipe, Luís
Montesi, Fabrizio
and
Peressotti, Marco
2023.
A Formal Theory of Choreographic Programming.
Journal of Automated Reasoning,
Vol. 67,
Issue. 2,
Cruz-Filipe, Luís
Graversen, Eva
Montesi, Fabrizio
and
Peressotti, Marco
2023.
Coordination Models and Languages.
Vol. 13908,
Issue. ,
p.
144.
Shen, Gan
Kashiwa, Shun
and
Kuper, Lindsey
2023.
HasChor: Functional Choreographic Programming for All (Functional Pearl).
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. ICFP,
p.
541.
Cruz-Filipe, Luís
Lugović, Lovro
and
Montesi, Fabrizio
2023.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 13910,
Issue. ,
p.
29.
GRAVERSEN, EVA
HIRSCH, ANDREW K.
and
MONTESI, FABRIZIO
2024.
Alice or Bob?: Process polymorphism in choreographies.
Journal of Functional Programming,
Vol. 34,
Issue. ,
Giallorenzo, Saverio
Montesi, Fabrizio
and
Peressotti, Marco
2024.
Choral: Object-oriented Choreographic Programming.
ACM Transactions on Programming Languages and Systems,
Vol. 46,
Issue. 1,
p.
1.
Carbone, Marco
and
Veschetti, Adele
2024.
Coordination Models and Languages.
Vol. 14676,
Issue. ,
p.
20.
Armborst, Lukas
Bos, Pieter
van den Haak, Lars B.
Huisman, Marieke
Rubbens, Robert
Şakar, Ömer
and
Tasche, Philip
2024.
Computer Aided Verification.
Vol. 14682,
Issue. ,
p.
3.
Yoshida, Nobuko
2024.
Active Object Languages: Current Research Trends.
Vol. 14360,
Issue. ,
p.
147.
Fowler, Simon
Haller, Philipp
Kuhn, Roland
Lindley, Sam
Scalas, Alceste
and
Vasconcelos, Vasco T.
2024.
Behavioural Types for Heterogeneous Systems (Position Paper).
Electronic Proceedings in Theoretical Computer Science,
Vol. 401,
Issue. ,
p.
37.
Acay, Coşku
Gancher, Joshua
Recto, Rolph
and
Myers, Andrew C.
2024.
Secure Synthesis of Distributed Cryptographic Applications.
p.
433.