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

Similar Items

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