2639 search results - page 2 / 528 » Biological Systems as Reactive Systems |
ENTCS
2008
13 years 5 months ago
2008
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
FMSB
2008
13 years 6 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
MEMBRANE
2004
Springer
13 years 10 months ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
FPLAY
2008
13 years 6 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...