CONCURRENCY COLLABORATION National Teaching Network: Model-Based Design for Concurrency

[ homepage | seminars | materials | tools | projects | courses | webboard ]

EDINBURGH CONCURRENCY WORKBENCH "Edinburgh Concurrency Workbench" [ Perdita Stevens et al. ] [ Tool homepage ] [ User Manual ]

CCS SIMULATOR AND VISUALIZER "CCS Simulator & Visualizer" [ Martin Mosegaard | Claus Brabrand ] [ Tool homepage ] [ Getting started (from Semantics'05, AU) ]

NOTES "UPPAAL @ RTSS'05" [ Alexandre David ]

Claus Brabrand (January 11, 2006)