Documents © 2006 Microsoft Corporation. All rights reserved. The Joins Concurrency Library Cω in a Box...

Slide 1© 2006 Microsoft Corporation. All rights reserved. The Joins Concurrency Library Cω in a Box Claudio Russo Microsoft Research, Cambridge [email protected] Slide…

Documents department of mathematics and computer science April 07, 2006 UNSW / NICTA, Sydney1 mCRL2 and...

Slide 1 /department of mathematics and computer science April 07, 2006 UNSW / NICTA, Sydney1 mCRL2 and Visualization of State Spaces Bas Ploeger [email protected] Slide…