Paper Details

Communicating Process Architectures (CPA)
 Title: Using FDR to Model Check CSP-Like Languages
 Conference: Communicating Process Architectures 2013
 Authors: Thomas Gibson-Robinson
Department of Computer Science, University of Oxford
 Abstract: In this talk I will give a demonstration of tyger, a tool that has been constructed to allow a large class of CSP-like languages to be simulated in CSP. In particular, I will demonstrate how FDR can be used to model check a simple CCS version of the classic Dining Philosophers problem. The theory behind this demonstration will be presented in the paper "Efficient Simulation of CSP-Like Languages"

BibTeX Entry

Full paper