Think Stitch


A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking

I gave a presentation about "A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking" at the 16th society for the study of CSP held at TOYO University.

2015/11/22