Sciweavers

51 search results - page 1 / 11
» On Representing Biological Systems through Multiset Rewritin...
Sort
View
EUROCAST
2003
Springer
99views Hardware» more  EUROCAST 2003»
14 years 23 days ago
On Representing Biological Systems through Multiset Rewriting
Stefano Bistarelli, Iliano Cervesato, Gabriele Len...
DAGSTUHL
2006
13 years 9 months ago
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
Matteo Cavaliere, Sean Sedwards
CMSB
2011
Springer
12 years 7 months ago
Coloured stochastic multilevel multiset rewriting
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
Nicolas Oury, Gordon D. Plotkin
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
ENTCS
2008
98views more  ENTCS 2008»
13 years 7 months ago
An Intermediate Language for the Simulation of Biological Systems
We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo...