| |
|
| |
In Topology and Category Theory in Computer Science (1991), pp. 357-390.
|
| |
Computers in Industry, Vol. 53, No. 3. (April 2004), pp. 231-244.
|
| |
|
| |
|
| |
In Category Theory and Computer Science (1995), pp. 3-23.
|
| |
|
| |
|
| |
e-Business Engineering, 2005. ICEBE 2005. IEEE International Conference on (2005), pp. 535-540.
|
| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324.
|
| |
SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
|
| |
Mathematical Structures in Computer Science, Vol. 6, No. 4. (1996), pp. 353-373.
|
| |
In Logic in Computer Science (1995), pp. 244-254.
|
| |
In CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory (1991), pp. 424-438.
|
| |
|
| |
In Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages (1991), pp. 203-228.
|
| |
In Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, Vol. LNCS 655 (1993), pp. 236-253.
|
| |
In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), pp. 177-188.
|
| |
|
| |
In Foundations of Software Science and Computation Structure (2001), pp. 303-317.
|
| |
|
| |
|
| |
|
| |
|
| |
Adv. in Appl. Probab., Vol. 32, No. 3. (2000), pp. 750-778.
|
| |
|
| |
J. Theoret. Probab., Vol. 12 (1999), pp. 347-383.
|
| |
|
| |
|
| |
|
| |
In International Conference on Software Engineering (2000), pp. 704-706.
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 101, No. Suppl 1. (6 April 2004), pp. 5261-5265.
|
| |
|
| |
In GROUP '97: Proceedings of the international ACM SIGGROUP conference on Supporting group work (1997), pp. 221-230.
|
| |
|
| |
|
| |
|
| |
|
| |
Annals of Mathematics Studies, No. 115. (1987), pp. 92-191.
|
| |
|
| |
Learned Publishing, Vol. 18, No. 3. (July 2005), pp. 165-176.
|
| |
|
| |
|
| |
IEEE Transactions on Information Theory, Vol. 41, No. 4. (1995), pp. 1010-1020.
|
| |
In NIPS (2000), pp. 661-667.
|
| |
|
| |
|
| |
IEEE Transactions on Information Theory, Vol. 45, No. 4. (1999), pp. 992-1018.
|
| |
|
| |
|