| |
In In MFPS XXIII, Vol. 173 (2007), pp. 177-201.
|
| |
|
| |
In Coalgebraic Methods in Computer Science (CMCS 2001), Vol. 44.1 (2001), pp. 1-14.
|
| |
In Proc. 18th Symposium on Theoretical Aspects of Computer Science (STACS 2001), Vol. 2010 (2001), pp. 514-526.
|
| |
In Coalgebraic Methods in Computer Science (CMCS 2002), Vol. 65.1 (2002), pp. 1-21.
|
| |
In Recent Trends in Algebraic Developement Techniques, Vol. 2755 (2002), pp. 397-412.
|
| |
In Coalgebraic Methods in Computer Science (CMCS 2004), Vol. 106 (2004), pp. 219-241.
|
| |
In Proc. 21st IEEE Symposium on Logic in Computer Science (LICS 2006) (2006), pp. 231-242.
|
| |
In Proc. 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2007), No. 4393. (2007), pp. 573-585.
|
| |
In Proc 34th International Colloquium on Automata, Languages and Programming (ICALP 2007), No. 4596. (2007), pp. 459-471.
|
| |
In Proc. Methods for Modalities 5 (2007) (2007)
|
| |
Theoretical Computer Science, Vol. 309, No. 1--3. (2003), pp. 177-193.
|
| |
Notre Dame Journal of Formal Logic, Vol. 45, No. 1. (2004), pp. 19-33.
|
| |
Mathematical Structures in Computer Science, Vol. 15, No. 3. (2005), pp. 453-473.
|
| |
Theoretical Computer Science, Vol. 388 (2007), pp. 83-108.
|
| |
ACM Transactions on Computational Logics
|
