| |
Theoretical Computer Science (2003), pp. 271-283.
|
| |
CONCUR 2006 – Concurrency Theory (2006), pp. 406-420.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 297-314.
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 15, No. 3. (June 2005), pp. 433-451.
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (June 2008), pp. 175-194.
|
| |
Archiv der Mathematik, Vol. 73, No. 2. (1999), pp. 90-103.
|
| |
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
|
| |
|
| |
SIGACT News, Vol. 37, No. 2. (June 2006), pp. 57-77.
|
| |
|
| |
Algebra and Logic, Vol. 27, No. 6. (1 November 1988), pp. 385-395.
|
| |
Theor. Comput. Sci., Vol. 260, No. 1-2. (2001), pp. 229-247.
|