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

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

BOOK "Concurrency: State Models & Java Programs" [ Jeff Magee | Jeff Kramer ]

NOTES "Reactive Systems: Modelling, Specification and Verification" [ Luca Aceto | Kim G. Larsen | Anna Ingólfsdóttir ]

NOTES "..." [ Jens Chr. Godskesen ]

NOTES "Model-based Design of Distributed and Mobile Systems - Introduction to Process Models" [ Thomas Hildebrandt ]

Claus Brabrand (January 11, 2006)