1
Pubblicazione 2005
Sommario: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Testo
Elettronico eBook