著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Baeten, J. C. M. and Klop, J. W. (Jan Willem) and Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) and Universiteit van Amsterdam and European Strategic Programme of Research and Development in Information Technology CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings Springer-Verlag 1990 Lecture notes in computer science 458 3540530487,0387530487 https://ci.nii.ac.jp/ncid/BA10756798