Specifying Processes

書誌詳細
主要な著者: Abramsky, S, Pavlovic, D
フォーマット: Conference item
出版事項: Springer−Verlag 1997