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.
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
Lugović, Lovro
and
Montesi, Fabrizio
2023.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 13910,
Issue. ,
p.
29.
Cruz-Filipe, Luís
Graversen, Eva
Montesi, Fabrizio
and
Peressotti, Marco
2023.
Coordination Models and Languages.
Vol. 13908,
Issue. ,
p.
144.
Giallorenzo, Saverio
2023.
Programming Languages: Principles and Paradigms.
p.
473.
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.
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.
GRAVERSEN, EVA
HIRSCH, ANDREW K.
and
MONTESI, FABRIZIO
2024.
Alice or Bob?: Process polymorphism in choreographies.
Journal of Functional Programming,
Vol. 34,
Issue. ,
Yoshida, Nobuko
2024.
Active Object Languages: Current Research Trends.
Vol. 14360,
Issue. ,
p.
147.
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.