Communicating sequential processes : the first 25 years : symposium on the occasion of 25 years of CSP : London, UK, July 7-8, 2004 : revised invited papers. : Jul 2004, London, UK. (Lecture Notes in Computer Science ; 3525. Festschrift)
Communicating sequential processes : the first 25 years : symposium on the occasion of 25 years of CSP : London, UK, July 7-8, 2004 : revised invited papers. : Jul 2004, London, UK.
(Lecture Notes in Computer Science ; 3525. Festschrift)
国立国会図書館請求記号
M17-05-1734
国立国会図書館書誌ID
000007844851
資料種別
図書
著者
British Computer Society. Formal Aspects of Computing Science Specialist Group.
Communicating sequential processes : the 1st 25 years : symposium on the occasion of 25 years of CSP : London, UK, July 7-8, 2004 : revised invited papers