Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP

Geahča maid

• Efficient Simulation of CSP−Like Languages
  Dahkki: Gibson−Robinson, T
  Almmustuhtton: (2013)
• Tygers of wrath /
  Dahkki: Rosenberg, Philip, author
  Almmustuhtton: (1991)
• The Meaning and Implementation of SKIP in CSP
  Dahkki: Gibson−Robinson, T, et al.
  Almmustuhtton: (2013)
• Symmetry reduction in CSP model checking
  Dahkki: Gibson-Robinson, T, et al.
  Almmustuhtton: (2019)
• CSP files
  Dahkki: Roscoe, T, et al.
  Almmustuhtton: (2011)