Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.

Jun Sun, Yang Liu, Jin Song Dong

Browse the full ISoLA paper archive.