Multiset Rewriting S. Bistarelli, I. Cervesato, G. Lenzini, R. Marangoni, ...  Home/Search
Context
Related
| stanford.edu/~iliano...eurocast03.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We model qualitative and quantitative aspects of metabolic pathways by using a stochastic version of Multiset Rewriting (SMSR). (Update)
Active bibliography (related documents): More All
0.3: On Representing Biological Systems through - Multiset Rewriting Martinelli (Correct)
0.3: On Representing Biological Systems through Multiset.. - Martinelli.. (Correct)
0.3: Representing Biological Systems through Multiset.. - Martinelli, Bistarelli, .. (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ bistarelli-representing,
author = "Multiset Rewriting Bistarelli",
title = "On Representing Biological Systems through",
url = "citeseer.ist.psu.edu/766755.html" }
Citations (may not include all citations):104 A MetaNotation for Protocol Analysis - Cervesato, Durgin et al. - 1999
42 CAPSL Intermediate Language - Denker, Millen - 1999
36 Exact stochastic simulation of coupled chemical reactions (context) - Gillespie - 1977
21 Pathway logic: Symbolic analysis of biological signaling (context) - Eker, Knapp et al. - 2002
20 Application of a stochastic name-passing calculus to represe.. (context) - Priami, Regev et al. - 2001
19 Computational Molecular Biology (context) - Pevzner - 2000
10 Relating process algebras and multiset rewriting - Bistarelli, Cervesato et al. - 2002
8 A Speci cation Language for Crypto-Protocols based on Multis.. (context) - Cervesato - 2001
1 Quantitatice modeling of stochastic systems in molecular bio.. (context) - Goss, Peccoud - 1998
1 Molecular information fusion for metabolic networks (context) - Hofestdt - 2001
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC