Marco Peressotti
- A Formal Theory of Choreographic Programming
2022/09/05 by Luı́s Cruz-Filipe, Cruz-Filipe, Luís, Fabrizio Montesi +3 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL)
- Distributed execution of bigraphical reactive systems
2015/11/04 by Alessio Mansutti, Marino Miculan, Mansutti, Alessio +3 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #DNA and Biological Computing #Distributed systems and fault tolerance #Modular Robots and Swarm Intelligence
- Mech: Mechanised Choreographic Programming
2026/07/16 by Xueying Qin, Marco Peressotti, Fabrizio Montesi
#cs.PL