Searching for "Formal molecular biology." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Formal molecular biology
- …Formal Molecular Biology Vincent Danos December 23, 2003 Abstract Cosimo Laneve ¡ A language…
- Cited by 67 (10 self) – Add To MetaCart
-
Formal Molecular Biology done in CCS-R
- …Formal Molecular Biology done in CCS-R Vincent Danos Universite Paris VII, CNRS Jean Krivine…
- Cited by 5 (0 self) – Add To MetaCart
-
A Core Modeling Language for the Working Molecular Biologist
- … that a pretty good approximation of molecular biology fits in the formal picture. 3 Cell Cycle The cell…
- Cited by 13 (2 self) – Add To MetaCart
-
Unconventional Programming
- …://research.microsoft.com/Users/luca/Papers/Brane%20Calculi.pdf. [3] V.Danos and C.Laneve. Formal Molecular Biology. Theoretical Computer Science…
- Add To MetaCart
-
4. Fixing an unfortunate interchange of “all ” and “some
- …. It has successfully been used in a number of case studies in formal molecular biology…
- Add To MetaCart
-
Theoretical Computer Science 325 (2004) 141 -- 167 www.elG/Wx-Ixz/l/lzGy/
- … on such languages, such as Petri nets (e.g. [7]) or process algebras (e.g. the core formal molecular biology…
- Add To MetaCart
-
Self-assembling graphs
- … questions raised in the context of formal molecular biology [6, 7]. Indeed, a strong structural property…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 7.
