14 citations · 35 across the 6 of their papers we have counts for
6 papers
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…
A Model for Configuration Management of Open Software Systems
Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo
The article proposes a model for the configuration management of open systems. The model aims at validation of configurations against given specifications. An extension of decision…
Aspects of multiscale modelling in a process algebra for biological systems
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo +2
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for mode…
Modelling the Dynamics of an Aedes albopictus Population
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti +3
We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools s…
A Process Calculus for Molecular Interaction Maps
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo +2
We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of…
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo +1
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed. Mathematical modeling of biological systems with delays is…