Skip to main content

10 Result(s)

within Paola Quaglia Remove this filter Computation by Abstract Devices Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    BlenX Static and Dynamic Semantics

    We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Beta-binders. It has been specifically designed and implemented to model and simulate bio...

    Corrado Priami, Paola Quaglia, Alessandro Romanel in CONCUR 2009 - Concurrency Theory (2009)

  2. No Access

    Chapter and Conference Paper

    BlenX4Bio – BlenX for Biologists

    We introduce BlenX4Bio, a high-level interface for the programming language BlenX. BlenX4Bio allows biologists to write BlenX programs without having any programming skills. The main elements of a biological mode...

    Corrado Priami, Paolo Ballarini, Paola Quaglia in Computational Methods in Systems Biology (2009)

  3. No Access

    Chapter and Conference Paper

    Formal Analysis of BPMN Via a Translation into COWS

    A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reasoning about the behaviour of ...

    Davide Prandi, Paola Quaglia, Nicola Zannone in Coordination Models and Languages (2008)

  4. No Access

    Chapter and Conference Paper

    Beta Binders for Biological Interactions

    This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions.

    Corrado Priami, Paola Quaglia in Computational Methods in Systems Biology (2005)

  5. No Access

    Chapter and Conference Paper

    Model Checking Biological Systems Described Using Ambient Calculus

    We propose a way of performing model checking analysis for biological systems. The technics were developed for a CTL* logic built upon Ambient Calculus.

    Radu Mardare, Corrado Priami, Paola Quaglia… in Computational Methods in Systems Biology (2005)

  6. No Access

    Chapter and Conference Paper

    Modeling Kohn Interaction Maps with Beta-Binders: An Example

    We represent a subset of the mammalian cell cycle Kohn interaction map using Beta-binders, a formalism inspired to the pi-calculus and enriched with binders that allow the description of enclosing surfaces equ...

    Federica Ciocchetta, Corrado Priami… in Transactions on Computational Systems Biol… (2005)

  7. No Access

    Chapter

    Operational Patterns in Beta-Binders

    As a preliminary step in testing the expressiveness of Beta-binders against realistic case studies, we comment on a number of operational properties of the formalism and present a set of derived patterns that ...

    Corrado Priami, Paola Quaglia in Transactions on Computational Systems Biology I (2005)

  8. No Access

    Chapter and Conference Paper

    The weak late π-calculus semantics as observation equivalence

    We show that the Weak Late π-calculus semantics can be characterized as ordinary Observation congruence over a specialized transition system where both the instantiation of input placeholders and the name substit...

    Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia in CONCUR '95: Concurrency Theory (1995)

  9. No Access

    Chapter and Conference Paper

    A π-calculus with explicit substitutions: The late semantics

    A new formulation of the π-calculus, where name instantiation is handled explicitly, is presented. The explicit handling of name instantiation allows us to reduce the π-calculus transitional semantics to a standa...

    GianLuigi Ferrari, Ugo Montanari… in Mathematical Foundations of Computer Scien… (1994)

  10. Chapter and Conference Paper

    A fully parallel calculus of synchronizing processes

    We propose a fully parallel calculus of synchronizing processes. The calculus was deeply inspired by LOTOS, of which it inherits multi-party synchronization in process parallel composition. On the other hand, its...

    Diego Latella, Paola Quaglia in TAPSOFT'93: Theory and Practice of Software Development (1993)

    Download PDF (679 KB)