The Meaning and Implementation of SKIP in CSP

Míreanna comhchosúla

• Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP
  de réir: Gibson−Robinson, T
  Foilsithe / Cruthaithe: (2010)
• Taking quotients in CSP
  de réir: Goldsmith, M
  Foilsithe / Cruthaithe: (2006)
• Implementing Data−Independence: Symbolic Operational Semantics for CSP_M
  de réir: Goldsmith, M, et al.
  Foilsithe / Cruthaithe: (2002)
• Efficient Simulation of CSP−Like Languages
  de réir: Gibson−Robinson, T
  Foilsithe / Cruthaithe: (2013)
• Symmetry reduction in CSP model checking
  de réir: Gibson-Robinson, T, et al.
  Foilsithe / Cruthaithe: (2019)