14 citations · 16 across the 3 of their papers we have counts for
3 papers
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…