スポンサーリンク

School of Cognitive and Computing Sciences, University of Sussex at Brighton | 論文

• A Theory of Weak Bisimulation for Core CML(Concurrency Theory and Applications '96)

スポンサーリンク