Paolo Milazzo

  1. Aspects of multiscale modelling in a process algebra for biological systems.

    Authors: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giulio Caravagna, Simone Tini
    Subjects: Logic in Computer Science
    Abstract

    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 modelling biological systems actions are instantaneous.
    When different scale levels of biological systems are considered in a single
    model, one should take into account that actions at a level may take much more
    time than actions at a lower level. Moreover, it might happen that while a
    component is involved in one long lasting high level action, it is involved
    also in several faster lower level actions.

  2. Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology.

    Authors: Paolo Milazzo, Mario de J. Pérez Jiménez
    Subjects: and Science, Computational Engineering, Finance
    Abstract

    This volume contains the papers presented at the first International Workshop
    on Applications of Membrane Computing, Concurrency and Agent-based Modelling in
    Population Biology (AMCA-POP 2010) held in Jena, Germany on August 25th, 2010
    as a satellite event of the 11th Conference on Membrane Computing (CMC11).

  3. A Process Calculus for Molecular Interaction Maps.

    Authors: Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
    Subjects: and Science, Computational Engineering, Finance
    Abstract

    We present the MIM calculus, a modeling formalism with a strong biological
    basis, which provides biologically-meaningful operators for representing the
    interaction capabilities of molecular species. The operators of the calculus
    are inspired by the reaction symbols used in Molecular Interaction Maps (MIMs),
    a diagrammatic notation used by biologists. Models of the calculus can be
    easily derived from MIM diagrams, for which an unambiguous and executable
    interpretation is thus obtained.

RSS-материал