Stochastic Bigraphs

DOI10.1016/j.entcs.2008.10.006zbMath1286.68354OpenAlexW2340390498MaRDI 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

zbMATH Keywords

stochastic semanticsdirected bigraphmembrane budding

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (22)

Chromar, a rule-based language of parameterised objects ⋮ Towards Measurable Types for Dynamical Process Modeling Languages ⋮ Incomputability in Physics and Biology ⋮ Using bigraphs to model topological graphs embedded in orientable surfaces ⋮ Conditional Bigraphs ⋮ Computing Embeddings of Directed Bigraphs ⋮ Chromar, a language of parameterised agents ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Spatial calculus of looping sequences ⋮ Spatial Calculus of Looping Sequences ⋮ Containment in Rule-Based Models ⋮ Multi-level modelling via stochastic multi-level multiset rewriting ⋮ The calculus of context-aware ambients ⋮ The Attributed Pi-Calculus with Priorities ⋮ Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon ⋮ Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing ⋮ Finding a Forest in a Tree ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Bigraphs with sharing ⋮ Bigraphs and Their Algebra ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Uses Software

• PRISM

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

This page was built for publication: Stochastic Bigraphs