Proof systems for Hennessy-Milner Logic with recursion

This publication has 15 references indexed in Scilit:

• A logic for the specification and proof of regular controllable processes of CCS
  Acta Informatica, 1986
• A logic for the description of non-deterministic programs and their properties
  Information and Control, 1986
• A logical characterization of observation equivalence
  Theoretical Computer Science, 1985
• On the composition and decomposition of assertions
  Lecture Notes in Computer Science, 1985
• A complete proof system for SCCS with modal assertions
  Lecture Notes in Computer Science, 1985
• A complete modal proof system for a subset of SCCS
  Published by Springer Nature ,1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• The temporal logic of branching time
  Acta Informatica, 1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955