41 citations · 56 across the 9 of their papers we have counts for
10 papers
Exploiting Adjoints in Property Directed Reachability Analysis
Mayuko Kori, Flavio Ascari, Filippo Bonchi +3
We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley's property directed reachability algorithm. For finding safe invariants or counterexamples, the f…
SOS Rules for Equivalences of Reaction Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used…
Unifying Inference for Bayesian and Petri Nets
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the constr…
A Formal Approach to Open Multiparty Interactions
Chiara Bodei, Linda Brodo, Roberto Bruni
We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes…
Event Structures for Petri nets with Persistence
Paolo Baldan, Roberto Bruni, Andrea Corradini +3
Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and…
Concurrency and Probability: Removing Confusion, Compositionally
Roberto Bruni, Hernán Melgratti, Ugo Montanari
Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions…