General patterns of interaction in stochastic fusion
From MaRDI portal
Publication:272780
DOI10.1007/s11047-012-9346-5zbMath1334.68147OpenAlexW2036472861WikidataQ57936588 ScholiaQ57936588MaRDI QIDQ272780
Publication date: 21 April 2016
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-012-9346-5
complete axiomatic systemgeneral patterns of interactionstochastic fusionstochastic hyperequivalence
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Bisimulation through probabilistic testing
- A calculus of mobile processes. I
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- From Gene Regulation to Stochastic Fusion
- Proved trees
- Structural Operational Semantics for Stochastic Process Calculi
- A Compositional Approach to Performance Modelling
- Transactions on Computational Systems Biology IV
This page was built for publication: General patterns of interaction in stochastic fusion