1
Argitaratua 2005
Aurkibidea: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Testu osoa
Baliabide elektronikoa eBook