Stochastic simulation of multiple process calculi for biology (Q418846): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: BlenX / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: LBS / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.057 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2098825363 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Brane Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: On process rate semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rule-Based Modelling of Cellular Signalling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract Interpretation of Cellular Signalling Networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Evolving BlenX programs to simulate the evolution of biological networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Statecharts: a visual formalism for complex systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Abstract Machine for the Stochastic Bioambient calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Application of a stochastic name-passing calculus to representation and simulation of molecular processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: BioAmbients: an abstraction for biological compartments / rank
 
Normal rank

Latest revision as of 07:24, 5 July 2024

scientific article
Language Label Description Also known as
English
Stochastic simulation of multiple process calculi for biology
scientific article

    Statements

    Stochastic simulation of multiple process calculi for biology (English)
    0 references
    0 references
    0 references
    0 references
    30 May 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    generic abstract machine
    0 references
    stochastic simulation
    0 references
    Pi-calculus
    0 references
    bioambient calculus
    0 references
    kappa calculus
    0 references
    correctness
    0 references
    implementation
    0 references
    0 references
    0 references
    0 references