1
Vydáno 2005
Obsah: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání