Richard Alan Karp

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1984

3 EE Richard Alan Karp: Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. ACM Trans. Program. Lang. Syst. 6(2): 239-253 (1984)

1976

2 Richard Alan Karp, David C. Luckham: Verification of Fairness in an Implementation of Monitors. ICSE 1976: 40-46

1975

1 Richard Alan Karp: A Reply to Gentleman and Marovich. Commun. ACM 18(3): 174 (1975)

1984
3	EE	Richard Alan Karp: Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. ACM Trans. Program. Lang. Syst. 6(2): 239-253 (1984)
1976
2		Richard Alan Karp, David C. Luckham: Verification of Fairness in an Implementation of Monitors. ICSE 1976: 40-46
1975
1		Richard Alan Karp: A Reply to Gentleman and Marovich. Commun. ACM 18(3): 174 (1975)

Coauthor Index

1 David C. Luckham [2]