Multiset Rewriting F. Martinelli, S. Bistarelli, I. Cervesato, G. Lenzini...  Home/Search
Context
Related
| stanford.edu/~iliano/pape...cmb03.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: this paper, we use Multiset Rewriting (MSR) [3, 2, 4, 7], a logic-based formalisms based on term rewriting. MSR o ers both a formal language for a precise description of molecular interaction maps, and an execution model allowing simulation of dynamics of molecular networks with the theoretical possibility of predicting optimal values for certain parameters used in the system description. Basic mechanisms in MSR include: (a) a multiset of items or predicates (possibly with an internal... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ martinelli-representing,
author = "Multiset Rewriting Martinelli",
title = "On Representing Biological Systems through",
url = "citeseer.ist.psu.edu/765996.html" }
Citations (may not include all citations):104 A Meta-Notation for Protocol Analysis - Cervesato, Durgin et al. - 1999
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
3 Molecular information fusion for metabolic networks (context) - und, Scholz et al. - 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