Parametric Bisimulations : A Logical Step Forward Technical Appendix

  • Chung-Kil Hur Georg Neis Derek Dreyer Viktor Vafeiadis
  • Published 2013

Abstract

Sorry, we couldn't extract an abstract for this paper.