| |
Algebra and Coalgebra in Computer Science (2005), pp. 1-29.
|
| |
In Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday., Vol. 5065 (2008), pp. 527-543.
|
| |
No. RR-03-02. (January 2003)
|
| |
|
| |
Interactive Logic, Vol. 1 (2007), pp. 11-48.
|
| |
In Plotkin Festschrift, Vol. 172 (2007), pp. 33-67.
|
| |
In Mathematics of Quantum Computing and Technology (2007), pp. 415-458.
|
| |
In Truth and Games: Essays in Honour of Gabriel Sandu (2006), pp. 17-46.
|
| |
In Electronic Notes in Theoretical Computer Science, 162 (2006), pp. 37-41.
|
| |
In Algebraic process calculi: the first 25 years and beyond (June 2005), pp. 1-5.
|
| |
In We Will Show Them: Essays in honour of Dov Gabbay, Vol. 1 (2005), pp. 1-18.
|
| |
In Theoretical Computer Science, Vol. 347, No. 3. (2005), pp. 441-464.
|
| |
In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004 (2004), pp. 410-414.
|
| |
In Mathematical Structures in Computer Science, Vol. 13 (2003), pp. 531-565.
|
| |
In LCCS 2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science (2001), pp. 1-16.
|
| |
In Proceedings of the {NATO} Advanced Study Institute, Marktober- dorf (2001), pp. 21-47.
|
| |
In Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School (2000), pp. 167-180.
|
| |
In Millennial Perspectives in Computer Science (2000), pp. 1-12.
|
| |
In Essays in Honour of Robin Milner (1999), pp. 55-75.
|
| |
In Proceedings of the 1996 {CLiCS} Summer School, Isaac Newton Institute (1997), pp. 1-31.
|
| |
In 22nd International Symposium on Mathematical Foundations of Computer Science, Vol. 1295 (1997), pp. 3-4.
|
| |
In Proceedings of the 11th Amsterdam Colloquium (1997), pp. 1-6.
|
| |
In {CONCUR '96}: Concurrency Theory, 7th International Conference (1996), pp. 1-17.
|
| |
In A Classical Mind: Essays in honour of C. A. R. Hoare (1994), pp. 1-16.
|
| |
In J. Theoretical Computer Science, Vol. 135 (1994), pp. 5-9.
|
| |
In J. Theoretical Computer Science, 111 (1993), pp. 3-57.
|
| |
In Theory and Formal Methods 1993 (1993), pp. 57-69.
|
| |
In Annals of Pure and Applied Logic, Vol. 51 (1991), pp. 1-77.
|
| |
In J. Information and Computation, Vol. 92, No. 2. (1991), pp. 161-218.
|
| |
In Research Topics in Functional Programming (1990), pp. 65-117.
|
| |
In J. Logic and Computation, 1(1) (1990), pp. 5-41.
|
| |
In Symposium on Mathematical Foundations of Programming Language Semantics (1990), pp. 1-21.
|
| |
In Logic at {Botik} 89 (1989)
|
| |
In J. Theoretical Computer Science (1987), pp. 225-241.
|
| |
In Symposium on Logic in Computer Science (1987), pp. 47-53.
|
| |
In Programs as Data Objects (1986), pp. 1-23.
|
| |
In Distributed Systems (1984), pp. 307-319.
|
| |
In Automata, Languages and Programming (1983), pp. 1-14.
|
| |
In Foundations of Computation Theory (1983), pp. 1-13.
|
| |
In J. Pure and Applied Algebra, Vol. 143 (1999), pp. 3-47.
|
| |
In Distributed Computing Systems: Synchronization, Control and Coordination (1983), pp. 163-189.
|
| |
In International Journal of Unconventional Computing, Vol. 3, No. 3. (2007), pp. 179-197.
|
| |
In Theory and Applications of Categories, Vol. 14 (2005), pp. 111-124.
|
| |
In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004 (2004), pp. 415-425.
|
| |
In Electronic Notes in Theoretical Computer Science, Vol. 69 (2003), pp. 1-26.
|
| |
In Office Information Systems (1982)
|
| |
In Mathematical Structures in Computer Science, 16 (2006), pp. 469-489.
|
| |
In Theoretical Aspects of Computer Software, Vol. 1281 (1997), pp. 295-320.
|
| |
In Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design (1996), pp. 35-113.
|
| |
In Logics for Concurrency: Structure vs. Automata---Proceedings of the VI I Ith Banff Higher Order Workshop (1996), pp. 5-40.
|
