| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
International Journal of Theoretical Physics
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Studia Logica, Vol. 50 (1991), pp. 421-455.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 September 2008), pp. 285-292.
|
| |
Algebra Universalis, Vol. 26, No. 3. (21 October 1989), pp. 367-379.
|
| |
|
| |
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 308-326.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
|
| |
|