1
Veröffentlicht 2005
Inhaltsangabe: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Volltext
Elektronisch E-Book