next up previous contents
Next: VDM-SL Up: Survey of Courses per Previous: Standard ML   Contents

CSP

 
Number of courses selected: 6  
Ref Y/S Module Institution Contact Topics/Langs/Tools
TEKS Techniques of Correct Software Development Bremen C. Lüth ADT , CASL , CSP , FDR , Isabelle , MC
IFM-CA MSc 1-2 Formal Methods Integration Nantes J.C. Attiogbé B , CCS , CSP , MPS , PA
Specification of Reactive Systems Oldenburg H. Wehrheim CSP , FDR , SPIN
CDS M Concurrency and Distributed Systems Oxford J. Davies CSP , FDR
ACT M Advanced Concurrency Tools Oxford J. Davies CSP , FDR
CS L3 S2 Systems and Software Engineering London (S.B.) A. Abdallah CSP , Haskell , Z

next up previous contents
Next: VDM-SL Up: Survey of Courses per Previous: Standard ML   Contents
2004-11-04