1
Được phát hành 2005
Mục lục: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
lấy văn bản
Điện tử eBook