2 papers
cs.LO2020
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…
cs.FL2018
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…