A logic of behaviour in context

DOI10.1016/j.ic.2014.01.009zbMath1311.68083OpenAlexW2136185241MaRDI QIDQ2453209

C. J. Banks, I. Stark

Publication date: 6 June 2014

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Modelling patterns of gene regulation in the bond-calculus

Uses Software

• MoMo
• Casaal
• COPASI

Cites Work

• Unnamed Item
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• On temporal logic constraint solving for analyzing numerical data time series
• Elimination of quantifiers and undecidability in spatial logics for concurrency
• Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• The benefits of relaxing punctuality
• Anytime, anywhere
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Computational Methods in Systems Biology
• Formal Methods for Components and Objects

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