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
Lugović, Lovro
and
Montesi, Fabrizio
2023.
Formal Techniques for Distributed Objects, Components, and Systems.
Vol. 13910,
Issue. ,
p.
29.
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.
Giallorenzo, Saverio
2023.
Programming Languages: Principles and Paradigms.
p.
473.
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.
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.