1
Опубликовано 2005
Оглавление: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
Полный текст
Электронный ресурс eКнига