Results 1  10
of
37,302
SPiCMAS: a multiagent simulation of stochastic πcalculus models
"... The biological systems ’ study is booming. Some scientists use well known mathematical tools such as differential equations while others use graphs or other formalisms. Since the 2000’s, new models are more and more used: process algebras. These algebras allow to model the biological systems at the ..."
Abstract
 Add to MetaCart
at the scale of the components. Another individualcentered paradigm, very used in computer science, is the multiagent paradigm. We present in this paper a simulation method of stochastic πcalculus models with a multiagent platform. The implementation of this method led us to the realization of the SPiCMAS
Efficient simulation of biological processes in the stochastic picalculus
, 2007
"... This paper presents a simulation algorithm for the stochastic picalculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain in ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper presents a simulation algorithm for the stochastic picalculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain
A correct abstract machine for the stochastic picalculus
 In Bioconcur’04. ENTCS
, 2004
"... Abstract. This paper presents an abstract machine for a variant of the stochastic picalculus, in order to correctly model the stochastic simulation of biological processes. The abstract machine is proved sound and complete with respect to the calculus, and then used as the basis for implementing a ..."
Abstract

Cited by 93 (12 self)
 Add to MetaCart
Abstract. This paper presents an abstract machine for a variant of the stochastic picalculus, in order to correctly model the stochastic simulation of biological processes. The abstract machine is proved sound and complete with respect to the calculus, and then used as the basis for implementing a
Translating the probabilistic picalculus to PRISM
, 2007
"... We present an implementation of model checking for the probabilistic picalculus, a process algebra which supports modelling of concurrency, mobility and discrete probabilistic behaviour. Formal verification techniques for this calculus have clear applications in several domains, including mobile ..."
Abstract
 Add to MetaCart
We present an implementation of model checking for the probabilistic picalculus, a process algebra which supports modelling of concurrency, mobility and discrete probabilistic behaviour. Formal verification techniques for this calculus have clear applications in several domains, including mobile
Simulating biological systems in the stochastic picalculus,” Microsoft Research
, 2004
"... Abstract. This course presents a programming language for designing and simulating computer models of biological systems. The language is based on a mathematical formalism known as the picalculus, and the simulation algorithm is based on standard kinetic theory of physical chemistry. The language w ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. This course presents a programming language for designing and simulating computer models of biological systems. The language is based on a mathematical formalism known as the picalculus, and the simulation algorithm is based on standard kinetic theory of physical chemistry. The language
Linearity and Persistence in the PiCalculus
"... Abstract Processes can be seen as resources; if they can be consumed, we say that they are linear, else we say that they are persistent. In this paper we present a study of linear and persistent processes wrt to the kind of system they can model. We choose πcalculus, perhaps the main representative ..."
Abstract
 Add to MetaCart
Abstract Processes can be seen as resources; if they can be consumed, we say that they are linear, else we say that they are persistent. In this paper we present a study of linear and persistent processes wrt to the kind of system they can model. We choose πcalculus, perhaps the main
Performance Evaluation of DPS Coordination Strategies Modeled in Picalculus
"... Abstract Distributed problem solving (DPS) is a subfield of MultiAgent Systems (MAS) concerned with using systems of agents to solve largescale, distributed problems like data interpretation in sensor networks. Methods for producing effective coordination strategies for DPS systems, is an active ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
the use of picalculus as a formal framework for defining multiagent coordination strategies for DPS, as well as techniques for evaluating the time performance of such strategies.
A graphical representation for the stochastic picalculus
 IN PROCEEDINGS OF BIOCONCUR’05
, 2005
"... This paper presents a graphical representation for the stochastic picalculus, which builds on previous formal and informal notations. The graphical representation is used to model a Mapk signalling cascade and an evolved gene network. One of the main benefits of the representation is its ability t ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
as a front end to a stochastic simulator for the picalculus, in order to allow the direct simulation of graphical models. This complements the existing textual interface of the simulator, with a view to making modelling and simulation of biological systems more accessible to non computer scientists.
Causal piCalculus for Biochemical Modelling
 In: Comp. Methods in Systems Biology 2003 (CMSB’03). Volume 2602 of LNCS
, 2002
"... Introduction An increasing number of researchers is trying to define models of biochemical pathways via theoretical and technological tools, allowing biologists to simulate reactions before doing them in vitro. The advantages are obvious: a computation normally requires less time then a real experi ..."
Abstract
 Add to MetaCart
Introduction An increasing number of researchers is trying to define models of biochemical pathways via theoretical and technological tools, allowing biologists to simulate reactions before doing them in vitro. The advantages are obvious: a computation normally requires less time then a real
Abstract A Chart Semantics for the PiCalculus
"... We present a graphical semantics for the picalculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational semantics. A pichart is a finite directed acyclic graph recording a computation in the picalculus. Each node represents a ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We present a graphical semantics for the picalculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational semantics. A pichart is a finite directed acyclic graph recording a computation in the picalculus. Each node represents
Results 1  10
of
37,302