| |
In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983), pp. 203-216.
|
| |
In Object-Oriented Concurrent Programming (1987), pp. 9-36.
|
| |
In Proc. 5th European Software Engineering Conf. (ESEC 95), Vol. 989 (1995), pp. 137-153.
|
| |
J. Syst. Softw., Vol. 74, No. 1. (January 2005), pp. 45-54.
|
| |
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 187-197.
|
| |
IEEE Trans. Softw. Eng. In Software Engineering, IEEE Transactions on, Vol. 26, No. 1. (January 2000), pp. 70-93.
|
| |
Software, IEEE, Vol. 20, No. 5. (2003), pp. 19-25.
|
| |
Computer, Vol. 38, No. 9. (2005), pp. 52-58.
|
| |
Software, IEEE, Vol. 21, No. 3. (2004), pp. 15-17.
|
| |
: Model Driven Engineering Languages and Systems (2006), pp. 126-139.
|
| |
: Service-Oriented Computing – ICSOC 2006 (2006), pp. 624-636.
|
| |
Software and Systems Modeling (SoSyM), Vol. 3, No. 4. (December 2004), pp. 314-327.
|
| |
Model-Based Development of Computer-Based Systems and Model-Based Methodologies for Pervasive and Embedded Software, 2006. MBD/MOMPES 2006. Fourth and Third International Workshop on (2006), pp. 75-83.
|
| |
: UML Modeling Languages and Applications (2005), pp. 1-12.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2030 (2001), pp. 104-??.
|
| |
Information and Computation, Vol. 156, No. 1-2. (2000), pp. 46-89.
|
| |
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402.
|
| |
|
| |
Science of Computer Programming, Vol. 57, No. 2. (August 2005), pp. 164-186.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256.
|
| |
In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 269-269.
|
| |
In Functional Programming Languages and Computer Architecture (1995), pp. 216-225.
|
| |
In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60.
|
| |
: CONCUR 2006 – Concurrency Theory (2006), pp. 158-172.
|
| |
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
|
| |
Lecture Notes in Computer Science, Vol. 1782 (2000)
|
| |
In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61.
|
| |
Theoretical Computer Science, Vol. 53, No. 2-3. (1987), pp. 225-241.
|
| |
Inf. Comput., Vol. 170, No. 1. (October 2001), pp. 95-133.
|
| |
In VEE '06: Proceedings of the 2nd international conference on Virtual execution environments (2006), pp. 57-67.
|
| |
Information and Computation, Vol. 172, No. 2. (29 January 2002), pp. 139-164.
|
| |
Theoretical Computer Science, Vol. 34, No. 1-2. (1984), pp. 83-133.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
|
| |
Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117.
|
| |
Science of Computer Programming In Formal Methods for Components and Objects: Pragmatic aspects and applications, Vol. 55, No. 1-3. (March 2005), pp. 3-52.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247.
|
| |
Information and Computation, Vol. 114, No. 2. (1 November 1994), pp. 247-314.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 3-10.
|
| |
Inf. Comput., Vol. 191, No. 2. (June 2004), pp. 145-202.
|
| |
Electronic Notes in Theoretical Computer Science In FGC, Foundations of Global Computing, 2nd EATCS Workshop (Satellite Event of ICALP 2003), Vol. 85, No. 1. (September 2003), 80.
|
| |
Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163.
|
| |
In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77.
|
| |
|
| |
In USENIX Technical Conference (25 January 1996)
|
| |
|
Search
