Travelled to:1 × USA
Collaborated with:D.C.Luckham
Talks about:implement (1) monitor (1) verif (1) fair (1)
Person: Richard Alan Karp
DBLP: Karp:Richard_Alan
Contributed to:
1976Wrote 1 papers:
- ICSE-1976-KarpL #implementation #monitoring #verification
- Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.