| |
In Proceedings of ECOOP'06 (2005)
|
| |
In Proceedings of the Symposium on Trustworthy Global Computing, Vol. 3705 (2005)
|
| |
In European Conference on Object-Oriented Programming, Vol. 1241 (1997)
|
| |
|
| |
In International Conference on Concurrency Theory, Vol. 1877 (2000), pp. 474-488.
|
| |
In Symposium on Principles of Programming Languages (2002), pp. 45-57.
|
| |
Theoretical Computer Science, Vol. 300, No. 1--3. (2003), pp. 379-409.
|
| |
Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771.
|
| |
In International Workshop on Foundations of Coordination Languages and Software Architectures, Vol. 68(3) (2003)
|
| |
Information and Computation, Vol. 100, No. 1. (1992), pp. 1-77.
|
| |
In Parallel Architectures and Languages Europe, Vol. 817 (1994)
|
| |
In European Symposium on Programming Languages and Systems, Vol. 1381 (1998), pp. 122-138.
|
| |
|
| |
|
| |
In Workshop on Types in Language Design and Implementation, Vol. 38(3) (2003), pp. 13-25.
|
| |
In Conference on Programming Language Design and Implementation, Vol. 37(5) (2002), pp. 282-293.
|
| |
|
| |
In ZB 2003: Formal Specification and Development in Z and B, Vol. 2651 (2003), pp. 477-496.
|
| |
In International Conference on Integrated Formal Methods, Vol. 1945 (2000), pp. 61-76.
|
| |
In Conference on Programming Language Design and Implementation, Vol. 26(6) (1991), pp. 293-305.
|
| |
In International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Vol. 2890 (2003), pp. 207-213.
|
| |
In Practical Aspects of Declarative Languages, Vol. 3057 (2004), pp. 56-70.
|
| |
Journal of Functional Programming, Vol. 15, No. 2. (2005), pp. 219-247.
|
| |
In Workshop on the Foundations of Global Ubiquitous Computing, Vol. 138 (2005), pp. 3-22.
|
| |
In Symposium on Principles of Programming Languages (1996), pp. 295-308.
|
| |
In International Conference on Parallel Computing Technologies, Vol. 2763 (2003), pp. 316-323.
|
| |
In Conference on Programming Language Design and Implementation, Vol. 37(5) (2002), pp. 13-24.
|
| |
In Conference on Programming Language Design and Implementation, Vol. 36(5) (2001), pp. 59-69.
|
| |
In Conference on Programming Language Design and Implementation, Vol. 37, No. 5. (2002), pp. 1-12.
|
| |
Journal of Computer and System Sciences, Vol. 17 (1978), pp. 348-375.
|
| |
Mathematical Structures in Computer Science (2007)
|
| |
Theoretical Computer Science, Vol. 368, No. 1--2. (2006), pp. 64-87.
|
| |
|
| |
|
| |
ENTCS In SecReT, Vol. 171, No. 4. (2007), pp. 73-93.
|
| |
|
| |
Acta Informatica, Vol. 42, No. 4--5. (2005), pp. 291-347.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 27, No. 2. (2005), pp. 264-313.
|
| |
Logical Methods in Computer Science, Vol. 2, No. 3:4. (2006), pp. 1-42.
|
| |
In OOPSLA, Vol. 33(10) (1998)
|
| |
In ECOOP, Vol. 1445 (1998), pp. 158-185.
|
| |
In ECOOP, Vol. 1241 (1997), pp. 32-59.
|
| |
In OOPSLA, Vol. 26(11) (1991), pp. 271-285.
|
| |
In ECOOP, Vol. 1098 (1996), pp. 189-209.
|
| |
No. SRC-TN-97-001. (1997)
|
| |
IEEE Transactions on Software Engineering, Vol. 17, No. 5. (1991)
|
| |
|
| |
ACM SIGPLAN Notices, Vol. 30, No. 1. (1995)
|
| |
In CONCUR, Vol. 715 (1993), pp. 509-523.
|
| |
In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST/TCS), Vol. 1180 (1996), pp. 371-386.
|
Search
