Using compositional preorders in the verification of sliding window protocol

This publication has 12 references indexed in Scilit:

• The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
  Published by Springer Nature ,2006
• Putting advanced reachability analysis techniques together: The “ARA” tool
  Published by Springer Nature ,2005
• Compositional model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Compositional minimisation of finite state systems using interface specifications
  Formal Aspects of Computing, 1996
• Compositional failure-based semantic models for Basic LOTOS
  Formal Aspects of Computing, 1995
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Using truth-preserving reductions to improve the clarity of kripke-models
  Published by Springer Nature ,1991
• Action versus state based logics for transition systems
  Published by Springer Nature ,1990
• An algorithmic technique for protocol verification
  IEEE Transactions on Communications, 1988
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986