| |
Programming Languages and Systems — ESOP '94 (1994), pp. 150-164.
|
| |
Information and Computation, Vol. 100, No. 2. (October 1992), pp. 202-260.
|
| |
Theoretical Computer Science, Vol. 118, No. 2. (27 September 1993), pp. 263-299.
|
| |
Information and Computation, Vol. 116, No. 2. (1 February 1995), pp. 193-213.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139.
|
| |
Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 238-272.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005), Vol. 156, No. 1. (15 May 2006), pp. 135-150.
|
| |
Science of Computer Programming, Vol. 42, No. 1. (January 2002), pp. 39-47.
|
| |
Software: Practice and Experience, Vol. 29, No. 15. (1999), pp. 1379-1416.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 141-193.
|
| |
|
| |
Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 180-213.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 3-10.
|
| |
In CONCUR '00: Proceedings of the 11th International Conference on Concurrency Theory (2000), pp. 275-289.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 3-15.
|
| |
Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 401-460.
|
| |
Information and Computation, Vol. 146, No. 1. (10 October 1998), pp. 24-54.
|
