| |
In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98) (September 1998), pp. 13-26.
|
| |
In Logic in Computer Science (2001), pp. 9-18.
|
| |
|
| |
ArXiv Computer Science e-prints (January 2006)
|
| |
No. ICPS RR 02-07. (2002)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320.
|
| |
Journal of Symbolic Computation, Vol. 16, No. 3. (1993), pp. 279-288.
|
| |
|
| |
|
| |
ArXiv Computer Science e-prints (March 2002)
|
| |
|
| |
In CSMR '05: Proceedings of the Ninth European Conference on Software Maintenance and Reengineering (2005), pp. 228-231.
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 373, No. 3. (April 2007), pp. 213-237.
|
| |
In Unifying Petri Nets, Advances in Petri Nets (2001), pp. 250-303.
|
| |
In Proceedings of the First International Workshop on Rewriting Logic, Vol. 4 (1996), pp. 65-89.
|
| |
Software Maintenance and Reengineering, 2005. CSMR 2005. Ninth European Conference on (2005), pp. 228-231.
|
| |
: RewritingTechniques and Applications (2003), pp. 61-75.
|
| |
|
| |
|
| |
In Proceedings of the ACM SIGPLAN RULE'02 (2002), pp. 43-52.
|
| |
|
| |
|
| |
: Formal Methods for Open Object-Based Distributed Systems (2005), pp. 227-242.
|
| |
In CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory (1996), pp. 331-372.
|
| |
Theor. Comput. Sci., Vol. 285, No. 2. (August 2002), pp. 121-154.
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
CiteULike
scis0000001's CiteULike
Search
Export
