Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
---|---|---|---|---|---|
F01-Dat4 | Semantics and Verification 2002 | Aalborg | A. Ingólfsdóttir | BDD , CCS , CWB , PA , UPPAAL | |
MP-IV | 3 | Programming Method. IV (Concurrency) | Minho | L.S. Barbosa | CCS , CWB , PA , PiC , PicT |