Computing behavioural relations, logically

This publication has 14 references indexed in Scilit:

• Proof systems for Hennessy-Milner Logic with recursion
  Published by Springer Nature ,2005
• Tableau-based model checking in the propositional mu-calculus
  Acta Informatica, 1990
• Characteristic formulae
  Published by Springer Nature ,1989
• A linear algorithm to solve fixed-point equations on transition systems
  Information Processing Letters, 1988
• Modal logics for communicating systems
  Theoretical Computer Science, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• A Framework for Intuitionistic Modal Logics
  Published by Elsevier ,1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980