125 citations · 1k across the 56 of their papers we have counts for
4 papers · 1 filter
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…
Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
Paolo Milazzo, Mario de J. Pérez Jiménez
This volume contains the papers presented at the first International Workshop on Applications of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (AM…