1
Udgivet 2005
Indholdsfortegnelse: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Få fuldtekst
Electronisk eBog