| |
Theoretical Computer Science, Vol. 1, No. 2. (December 1975), pp. 125-159.
|
| |
In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000)
|
| |
|
| |
|
| |
In Logic and Algebra of Specification (1993), pp. 203-246.
|
| |
In Types in Compilation (1998), pp. 28-52.
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
In USENIX Winter Technical Conference (February 1988)
|
| |
Computer, Vol. 23, No. 5. (1990)
|
| |
(1993)
by Michael D. Schroeder, Fred B. Schneider, William E. Weihl, et al.Özalp Babaoglu, Keith Marzullo, Vassos Hadzilacos, Sam Toueg, Navin Budhiraja, Butler W. Lampson, Thomas L. Rodeheffer, Roger M. Needham, M. Satyanarayanan, Herman Kopetz, Paulo Veríssimo, Sape J. Mullender
|
| |
In USENIX Winter Technical Conference (February 1988)
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268.
|
| |
ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
|
| |
|
| |
Higher-Order and Symbolic Computation, Vol. V11, No. 2. (1 December 1998), pp. 177-208.
|
| |
|
| |
In Multithreading in Hardware and Software: Formal Approaches to Design and Verification (August 2006)
|
| |
Queue, Vol. 3, No. 7. (September 2005), pp. 26-29.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (May 1999), pp. 527-568.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 512 (1991), pp. 133-??.
|
| |
In 8th Conference on Pattern Languages of Programs (September 2001)
|
Search
