Stochastic Bigraphs
From MaRDI portal
Publication:5415632
DOI10.1016/j.entcs.2008.10.006zbMath1286.68354MaRDI QIDQ5415632
Angelo Troina, Jean Krivine, Arthur J. Milner
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.006
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C42: Systems biology, networks
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Multi-level modelling via stochastic multi-level multiset rewriting, Conditional Bigraphs, Computing Embeddings of Directed Bigraphs, Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language, Spatial Calculus of Looping Sequences, Containment in Rule-Based Models, Using bigraphs to model topological graphs embedded in orientable surfaces, Simulation techniques for the calculus of wrapped compartments, Typed stochastic semantics for the calculus of looping sequences, Spatial calculus of looping sequences, The calculus of context-aware ambients, Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing, A tale of two graph models: a case study in wireless sensor networks, Chromar, a rule-based language of parameterised objects, Bigraphs with sharing, Chromar, a language of parameterised agents, Finding a Forest in a Tree, Bigraphs and Their Algebra, Incomputability in Physics and Biology, The Attributed Pi-Calculus with Priorities, Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon, Towards Measurable Types for Dynamical Process Modeling Languages
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Mobile ambients
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Pure bigraphs: structure and dynamics
- A Simple Calculus for Proteins and Cells
- Matching of Bigraphs
- Rule-Based Modelling, Symmetries, Refinements
- Rule-Based Modelling of Cellular Signalling
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- A Compositional Approach to Performance Modelling
- Brane Calculi
