Molecular Interaction Maps are a graphical formalism used by biologists to describe complex interactions between molecules. We provide a formal description of MIMs using process algebras and determine its computational power

RAMA, AURELIANO

English

Electronic Thesis and Dissertation Archive - Università di Pisa

A calculus of looping sequences for modelling microbiological systems.

A formal semantics for molecular interaction maps. Master’s thesis,

A structural approach to operational semantics.

Andr´ es Iglesias and Sinan Kapcak. Symbolic computation of petri nets.

Bisimulation congruences in the calculus of looping sequences.

Communicating sequential processes.

Compositional semantics and behavioral equivalences for p systems.

Contextual nets.

Dynamic congruence vs. progressing bisimulation for ccs. Fundamenta Informaticae,

Extending the calculus of looping sequences to model protein interaction at the domain level.

Flynn and Tilak Agerwala. Comments on capabilities, limitations and correctness of petri nets.

Hiding names: Private authentication in the applied pi calculus,

Introduction to petri net theory. In Zolt´

Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems.

Molecular Interaction Maps of Bioregulatory Networks: A General Rubric for Systems Biology.

Operational semantics for petri net components.

Petri net reduction. Electrical and Computer Engineering,

Petri nets.

Simulazione combinatoria a vincoli di mappe di interazione molecolare. Master’s thesis,

Structuring Structural Operational Semantics.

The calculus of looping sequences for modeling biological membranes.

Transformation from petri nets model to programmable logic controller using one-toone mapping technique.

A Calculus for Molecular Interaction Maps

A Calculus for Molecular Interaction Maps

Abstract

Similar works

Full text

Available Versions

Electronic Thesis and Dissertation Archive - Università di Pisa