AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented. This permits to model multi-reactant multi-product reactions as atomic actions when quantitative information are given. First, the syntax and the semantics are defined, then some transaction properties are discussed. Finally, some examples are described
Numerous programming languages based on process calculi have been develo-ped for biological modellin...
AbstractNumerous programming languages based on process calculi have been developed for biological m...
International audienceNumerous programming languages based on process calculi have been developed fo...
AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented...
AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented...
In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-r...
AbstractThe nanoκ calculus is a formalism that models biochemical systems by defining its set of rea...
In this work we propose an extension of Beta-binders with biological transactions, called TBeta-bind...
AbstractThe application of concurrent calculi to the formalisation of biological systems constitutes...
AbstractWe use the π-calculus to model the evolution of biochemical systems, taking advantage of the...
International audienceWe propose React(C), an expressive programming language for stochastic modelin...
We describe a novel application of a stochastic name-passing calculus for the study of biomolecular ...
AbstractIn this paper we apply the Abstract Interpretation approach [P. Cousot and R. Cousot. Abstra...
AbstractIn recent years, there has been increasing interest in computational models of biological sy...
The focus of this thesis is modelling and analyzing systems biology using process algebra. We apply ...
Numerous programming languages based on process calculi have been develo-ped for biological modellin...
AbstractNumerous programming languages based on process calculi have been developed for biological m...
International audienceNumerous programming languages based on process calculi have been developed fo...
AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented...
AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented...
In this work we extend the -calculus with a simple class of trans-actions, suitable to model multi-r...
AbstractThe nanoκ calculus is a formalism that models biochemical systems by defining its set of rea...
In this work we propose an extension of Beta-binders with biological transactions, called TBeta-bind...
AbstractThe application of concurrent calculi to the formalisation of biological systems constitutes...
AbstractWe use the π-calculus to model the evolution of biochemical systems, taking advantage of the...
International audienceWe propose React(C), an expressive programming language for stochastic modelin...
We describe a novel application of a stochastic name-passing calculus for the study of biomolecular ...
AbstractIn this paper we apply the Abstract Interpretation approach [P. Cousot and R. Cousot. Abstra...
AbstractIn recent years, there has been increasing interest in computational models of biological sy...
The focus of this thesis is modelling and analyzing systems biology using process algebra. We apply ...
Numerous programming languages based on process calculi have been develo-ped for biological modellin...
AbstractNumerous programming languages based on process calculi have been developed for biological m...
International audienceNumerous programming languages based on process calculi have been developed fo...
DOI
Add to ORKG