Peressotti, Marco
- Functional Choreographic Programming
2021/11/05 by Cruz-Filipe, Luís, Graversen, Eva, Lugović, Lovro +2 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- A Formal Theory of Choreographic Programming
2022/09/05 by Luı́s Cruz-Filipe, Fabrizio Montesi, Cruz-Filipe, Luís +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)
- Weak bisimulations for labelled transition systems weighted over semirings
2013/10/15 by Miculan, Marino, Peressotti, Marco · 1 citation
#F.1.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Communications in Choreographies, Revisited
2017/11/28 by Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Towards a Formal Model for Composable Container Systems
2019/12/02 by Burco, Fabio, Miculan, Marino, Peressotti, Marco · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Ozone: Fully Out-of-Order Choreographies
2024/01/30 by Plyukhin, Dan, Peressotti, Marco, Montesi, Fabrizio · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- On Propositional Dynamic Logic and Concurrency
2024/03/27 by Acclavio, Matteo, Montesi, Fabrizio, Peressotti, Marco · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Distributed execution of bigraphical reactive systems
2015/11/04 by Alessio Mansutti, Mansutti, Alessio, Marino Miculan +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