Core Formal Molecular Biology

Vincent Danos, Cosimo Laneve

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in π-calculus are given, following Regev’s principle of translating physical connection as private name sharing.
Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
EditorsPierpaolo Degano
PublisherSpringer Berlin Heidelberg
Number of pages17
ISBN (Electronic)978-3-540-36575-4
ISBN (Print)978-3-540-00886-6
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'Core Formal Molecular Biology'. Together they form a unique fingerprint.

Cite this