https://prob.hhu.de/w/index.php?action=history&feed=atom&title=Glossary%3ACSP_PreferencesGlossary:CSP Preferences - Revision history2026-04-05T13:41:20ZRevision history for this page on the wikiMediaWiki 1.43.8https://prob.hhu.de/w/index.php?title=Glossary:CSP_Preferences&diff=1354&oldid=prevJoy Clark: added glossary entry for csp preferences2011-12-15T16:26:43Z<p>added glossary entry for csp preferences</p>
<p><b>New page</b></p><div>*if all of the CSP-M processes (not just MAIN) should be animated without arguments, <br />
* if more fine-grained source-location animation for CSP should be performed (can slow model checking down), <br />
* if CSP source-location information should be stripped (for RHS of processes, except for internal choice). <br />
* the path to Probe or other tool to view .csp files, the path to the FDR2 tool, and the path to a CSP Type Checking tool.</div>Joy Clark