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

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

On Implementing Unique Fixpoint Induction for Value-passing Proccesses
  • 作者：H.Lin
  • 出版社：中国科学院
  • 出版年：1995
...

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

Nondiscrete induction and iterative processes
  • 作者：Potra,F.-A.
  • ISBN：0273086278
  • 出版社：Boston : Pitman Advanced Pub. Program, 1984.
  • 出版年：1984
...

The [pi]-calculus : a theory of mobile processes
  • 作者：Sangiorgi,Davide.
  • ISBN：0521543274
  • 出版社：Cambridge, [England] ; New York : Cambridge University Press, c2003.
  • 出版年：2003
...

Unique chips and systems
  • 作者：John,Eugene.
  • ISBN：9781420051742
  • 出版社：Boca Raton : CRC Press, c2008.
  • 出版年：2008
...

Induction logging
  • 作者：Kaufman,Alexander A.
  • ISBN：0444429492
  • 出版社：Amsterdam: Elsevier, 1989
  • 出版年：1989