Algebra of communicating processes : proceedings of ACP94, the first workshop on the algebra of communicating processes, Utrecht, the Netherlands, 16-17 May 1994.
| 団体著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
London
Springer-Verlag
c1994.
|
| 主題: |


