TY - BOOK AU - Baeten, J. C. M. AU - Klop, J. W. (Jan Willem) AU - Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) AU - Universiteit van Amsterdam AU - European Strategic Programme of Research and Development in Information Technology TI - CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings PB - Springer-Verlag PY - 1990 T2 - Lecture notes in computer science VL - 458 EP - vii, 536 p. UR - https://ci.nii.ac.jp/ncid/BA10756798 SN - 3540530487 SN - 0387530487 ER -

AltStyle によって変換されたページ (->オリジナル) /