1
Publicat 2005
Taula de continguts: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Obtenir text complet
Electrònic eBook