papers
Publications (7)
cs.LO2010
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction
Simon Bliudze, Roberto Bruni, Davide Grohmann +1
cs.LO2018
Unifying Inference for Bayesian and Petri Nets
Roberto Bruni, Hernán Melgratti, Ugo Montanari
cs.LO2001
An interactive semantics of logic programming
Roberto Bruni, Ugo Montanari, Francesca Rossi
cs.LO2011
Proceedings Fourth Interaction and Concurrency Experience
Alexandra Silva, Simon Bliudze, Roberto Bruni +1
cs.LO2015
A coalgebraic semantics for causality in Petri nets
Roberto Bruni, Ugo Montanari, Matteo Sammartino
cs.FL2019
A Formal Approach to Open Multiparty Interactions
Chiara Bodei, Linda Brodo, Roberto Bruni
cs.FL2013
Connector algebras for C/E and P/T nets' interactions
Roberto Bruni, Hernan Melgratti, Ugo Montanari +1