Translating Stochastic CLS into Maude

DOI10.1016/j.entcs.2008.12.103zbMath1347.68340OpenAlexW2073387715MaRDI QIDQ5179424

Paolo Milazzo, Antonio Cerone, Thomas Anung Basuki

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

model checkingbiological systemMaudecalculus of looping sequences

Mathematics Subject Classification ID

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

Uses Software

• PRISM
• Maude
• PMaude
• PEPA

Cites Work

• Unnamed Item
• A rewriting logic framework for operational semantics of membrane systems
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Modeling and querying biomolecular interaction networks
• Formal molecular biology
• Probabilistic model checking of complex biological pathways
• Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
• Spatial Calculus of Looping Sequences
• Formal Methods in Computer-Aided Design
• Brane Calculi
• Computer Aided Verification

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