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

DOI10.1016/J.ENTCS.2011.04.002zbMATH Open1291.92066OpenAlexW2013587817WikidataQ113318271 ScholiaQ113318271MaRDI QIDQ5166629FDOQ5166629

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

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

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)

Cites Work

• The ubiquitous Kronecker product
• Abstract Interpretation of Cellular Signalling Networks
• Modelling of biochemical reactions by stochastic automata networks
• Lumpability abstractions of rule-based systems
• Title not available (Why is that?)
• 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)