1. April 2009 CCS T OOLS Keywords: - Concurrency Workbench - CCS visualizer and simulator - The Bisimulation Game Game

2. Marco CarboneCCS: Equivalences Apr 20, 2009 Concurrency Workbench [ Edinburgh Concurrency Workbench ] (Google it)Concurrency Workbench P   testing (interactive simulation)  verification (via logic formulae)  dump transition graph (NFA) ... From a shell: ‘ssh yourlogin@ssh.itu.dk’yourlogin@ssh.itu.dk Exec: ‘ /import/home/maca/public_html/AMP2009/cwb/bin/cwb ’ How can I use it?

3. Marco CarboneCCS: Equivalences Apr 20, 2009 The Concurrency Workbench CWB: Recommendation: try it out CWB:> input “PandQ.ccs”; CWB:> sim(P); // run the built-in simulator CWB:> output “P.graph”; // name output file CWB:> graph(P); // output for CCS visualizer and simulator CWB:> strongeq(P,Q); // strong bisimilarity CWB’s answer CWB:> eq(P,Q); // weak bisimilarity CWB’s answer

4. Marco CarboneCCS: Equivalences Apr 20, 2009

5. Marco CarboneCCS: Equivalences Apr 20, 2009 CCS Visualizer and Simulator [ CCS Visualizer and Simulator ]CCS Visualizer and Simulator [ http://www.brics.dk/bisim/ ] http://www.brics.dk/bisim/ [ /users/courses/dSem/bin/cv ]

6. Marco CarboneCCS: Equivalences Apr 20, 2009 The Bisimulation Game It’s Amazing… The Bisimulation Game ® Special Family Edition (w/ TV cables & remote control) Beat your sister at Process Algebra simulation… “Special Family Edition!” “ The Bisimulation Game ” Only $31,95 The Bisimulation Game [ http://www.brics.dk/bisim/ ] http://www.brics.dk/bisim/