1.

図書
図書
1. Modelling distributed systems
Wan Fokkink
出版情報: Berlin : Springer, c2007
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: 図書館
2.

図書
図書
2. Introduction to process algebra
Wan Fokkink
出版情報: Berlin ; New York : Springer, c2000
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: 図書館, 研究室