| |
Commun. ACM, Vol. 43, No. 5. (May 2000), pp. 74-82.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 3923 (January 2006), pp. 101-104.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 174-185.
|
| |
J. ACM, Vol. 33, No. 1. (January 1986), pp. 151-178.
|
| |
In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (1989), pp. 428-437.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ACM Trans. Program. Lang. Syst., Vol. 8, No. 2. (April 1986), pp. 244-263.
|
| |
Mathematische Annalen, Vol. 92, No. 3 - 4. (1924), pp. 305-316.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
People and Ideas in Theoretical Computer Science (1999), pp. 32-52.
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
