First page Back Continue Last page Graphics
Approach
-
Based on simple contract-like mechanisms
- Deadlock-freedom (Kobayashi, 99, 00)
- Liveness (Kobayashi, 01; Yoshida, et al, 02)
- Security (Abadi et al; Cardelli and Gordon; Berger, Honda,
Yoshida)
- Resource management (Tofte; Kobayashi; Gordon and Dal Zillio;
Yoshida, et al)
- Race-condition detection (refs)
- Extensions to CCS/CSP and π-calculus (Milner)