A logic of behaviour in context

DOI10.1016/J.IC.2014.01.009MaRDI QIDQ2453209zbMATH OpenOpenAlexFDO

Authors C. J. Banks, Ian Stark

Publication date 6 June 2014

Published in Information and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ic.2014.01.009

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biochemistry, molecular biology (92C40)

Recommendations

• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Model checking temporal properties of reaction systems
• Computational Methods in Systems Biology
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Verification of spatial and temporal modalities in biochemical systems

Cites work

• Anytime, anywhere: modal logics for mobile ambients
• Computational Methods in Systems Biology
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Formal Methods for Components and Objects
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Monitor-based statistical model checking for weighted metric temporal logic
• On temporal logic constraint solving for analyzing numerical data time series
• Robust satisfaction of temporal logic over real-valued signals
• The benefits of relaxing punctuality

Cited in

(10)

• Model checking temporal properties of reaction systems
• Modelling patterns of gene regulation in the bond-calculus
• Verification of spatial and temporal modalities in biochemical systems
• scientific article; zbMATH DE number 4014516 (Why is no real title available?)
• Variety of Behaviours Through Profiles in Logic-Based Agents
• scientific article; zbMATH DE number 176729 (Why is no real title available?)
• scientific article; zbMATH DE number 7454909 (Why is no real title available?)
• scientific article; zbMATH DE number 7503176 (Why is no real title available?)
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Recent Trends in Algebraic Development Techniques

Describes a project that uses

Uses Software

• COPASI
• MoMo
• Casaal

This page was built for publication: A logic of behaviour in context

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