1
出版事項 2005
目次: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
全文の入手
電子媒体 eBook