Action refinement in process algebras
著者
書誌事項
Action refinement in process algebras
（Distinguished dissertations in computer science）
Cambridge University Press, c1992
大学図書館所蔵 全7件
注記
Bibliography: p. [265]-271
Includes index
Action refinement in process algebras
（Distinguished dissertations in computer science）
Cambridge University Press, c1992
Bibliography: p. [265]-271
Includes index