Computing behavioural relations, logically

DOI10.1007/3-540-54233-7_129MaRDI QIDQ4036558zbMATH OpenFDO

Authors Bernhard Steffen, Rance Cleaveland

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54233-7_129

zbMATH Keywords

computing preordersefficient computation of behavioral relations between processesfixed point logicfragment of the modal mu-calculusmodel-checking algorithm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Mechanizing logical relations
• scientific article; zbMATH DE number 3852428
• Behavioral algebraization of logics
• A logic of behaviour in context
• Behavioral program logic
• Computational logic
• Reasoning, Logic and Computation
• Computation on structures. Behavioural theory, logic, complexity
• Computational logic and the social
• Logical behaviors

Cited in

(15)

• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Complete proof systems for weighted modal logic
• When are prime formulae characteristic?
• Characteristic formulae for timed autoamta
• When are prime formulae characteristic?
• scientific article; zbMATH DE number 4014516 (Why is no real title available?)
• Local model checking for context-free processes
• Model-checking process equivalences
• Verification and comparison of transition systems
• Data flow analysis as model checking
• Generating diagnostic information for behavioral preorders
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
• The expressive power of implicit specifications
• The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
• CEGAR for compositional analysis of qualitative properties in Markov decision processes

This page was built for publication: Computing behavioural relations, logically

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