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
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.
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.
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.
Carbone, Marco
and
Veschetti, Adele
2024.
Coordination Models and Languages.
Vol. 14676,
Issue. ,
p.
20.
Giallorenzo, Saverio
Montesi, Fabrizio
and
Gabbrielli, Maurizio
2024.
A model for correlation-based choreographic programming.
PeerJ Computer Science,
Vol. 10,
Issue. ,
p.
e1907.
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.
Farabegoli, Nicolas
Viroli, Mirko
and
Casadei, Roberto
2024.
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach.
p.
21.
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.
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.
De Palma, Giuseppe
Giallorenzo, Saverio
Mauro, Jacopo
Trentin, Matteo
and
Vjerdha, Gejsi
2025.
The Combined Power of Research, Education, and Dissemination.
Vol. 15240,
Issue. ,
p.
167.
Rubbens, Robert
Bos, Petra van den
and
Huisman, Marieke
2025.
Integrated Formal Methods.
Vol. 15234,
Issue. ,
p.
217.
Giallorenzo, Saverio
Mauro, Jacopo
Melis, Andrea
Montesi, Fabrizio
Peressotti, Marco
and
Prandini, Marco
2025.
Service-Oriented Computing.
Vol. 15405,
Issue. ,
p.
243.