1.

図書
図書
1. CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 1998 : proceedings
Davide Sangiorgi, Robert de Simone (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1466
所蔵情報: 図書館, 研究室
2.

図書
図書
2. CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings
Antoni Mazurkiewicz, Józef Winkowski (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1243
所蔵情報: 図書館, 研究室
3.

図書
図書
3. Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 (: us ; : gw)
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
出版情報: London ; New York : Springer-Verlag, c1995
シリーズ名: Workshops in computing
所蔵情報: 研究室