1 citations · 1 across the 1 of their papers we have counts for
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.LO2005★ 1 cited
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…