登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

On Implementing Unique Fixpoint Induction for Value-passing Proccesses
出版社：中国科学院
出版年：1995
作者：H.Lin
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Unique Fixpoint Induction for Message-Passing Process Calculi
  • 作者：M.Hennessy
  • 出版社：中国科学院
  • 出版年：1994
...

Unique Fixpoint Induction for Mobile Processes
  • 作者：H.Lin
  • 出版社：中国科学院
  • 出版年：1996
...

“On-the-fly Instantiation” of Value-passing Processes
  • 作者：Lin
  • 出版社：中国科学院
  • 出版年：1998
...

The passing of politics
  • 作者：Wallace,William Kay.
  • 出版社：New York : Macmillan, 1924.
  • 出版年：1924
...

Passing thoughts
  • 作者：Winnacker,Antonetta Maria.
  • ISBN：9783000048067
  • 出版社：München : Antonet Winnacker, 2000.
  • 出版年：2000
...

The passing of the Manchus
  • 作者：Kent,Percy Horace
  • ISBN：0195058119
  • 出版社：London : Edward Arnold, 1912.
  • 出版年：1912