Stochastic Semantics of Signaling as a Composition of Agent-view Automata

DOI10.1016/J.ENTCS.2011.04.002MaRDI QIDQ5166629zbMATH OpenOpenAlexWikidataFDO

Authors Heinz Koeppl, Tatjana Petrov

Publication date 27 June 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.2011.04.002

zbMATH Keywords

continuous-time Markov chaincell signalingstochastic automata composition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42) Cell biology (92C37)

Recommendations

• A theory for the semantics of stochastic and non-deterministic continuous systems
• Stochastic semantics
• Semantics of finite and infinite networks of concurrent communicating agents
• scientific article; zbMATH DE number 5149154
• A compositional automata-based approach for model checking multi-agent systems
• Heterogeneous active agents, I: Semantics
• scientific article; zbMATH DE number 67444

Cites work

• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• Abstract Interpretation of Cellular Signalling Networks
• Lumpability abstractions of rule-based systems
• Modelling of biochemical reactions by stochastic automata networks
• The ubiquitous Kronecker product
• Validation of Stochastic Systems

Cited in

(1)

• Model decomposition and stochastic fragments

This page was built for publication: Stochastic Semantics of Signaling as a Composition of Agent-view Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166629)