RT Book, Whole SR Print DC OPAC T1 Nets, terms, and formulas : three views of concurrent processes and their relationship T2 Cambridge tracts in theoretical computer science. A1 Olderog, E.-R. FD 1991. SP x, 267 p. K1 Parallel processing (Electronic computers) K1 System design PB Cambridge University Press PP Cambridge PP New York SN 0521400449 LA English (英語) CL NDC:007.6 NO Includes bibliographical references (p. 241-252) and indexes. NO 書誌ID=1000174475; NCID=BA13103586; LK [OPAC]https://opac.icu.ac.jp/opac/opac_link/bibid/1000174475 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA13103586; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0521400449 OL 30