Richard Alan Karp

	1984
3		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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page