首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:Constructing Programs or Processes
  • 本地全文:下载
  • 作者:S. Reeves, D. Streader
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2005
  • 卷号:11
  • 期号:12
  • 页码:2034-2034
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:We define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented and what cannot. As we demonstrate it is problematic to do so on the set of all processes. Guided by constructivist notions we have constructed interacting sequential programs which we claim can be readily implemented and are a subset of processes
  • 关键词:cause, constructive, determinism, process algebra, refinement
国家哲学社会科学文献中心版权所有