Translating stochastic CLS into Maude

DOI10.1016/J.ENTCS.2008.12.103MaRDI QIDQ5179424zbMATH OpenOpenAlexFDO

Authors Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo

Publication date 19 March 2015

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.12.103

zbMATH Keywords

biological systemcalculus of looping sequencesMaudemodel checking

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Biochemistry, molecular biology (92C40)

Recommendations

• Translating stochastic CLS into MAUDE
• Computer Aided Verification
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• An intermediate language for the stochastic simulation of biological systems
• Modelling biochemical pathways with the calculus of looping sequences

Cites work

• A rewriting logic framework for operational semantics of membrane systems
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Brane Calculi
• Computer Aided Verification
• Formal Methods in Computer-Aided Design
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Formal molecular biology
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• Modeling and querying biomolecular interaction networks
• Probabilistic model checking of complex biological pathways
• Spatial calculus of looping sequences
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Cited in

(2)

• Translating stochastic CLS into MAUDE
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Describes a project that uses

Uses Software

• PEPA
• Maude
• PRISM
• PMaude

This page was built for publication: Translating stochastic CLS into Maude

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