1
יצא לאור 2005
תוכן הענינים: ... and Coequations -- Linking Theories of Concurrency -- On Cool Congruence Formats for Weak Bisimulations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני