• 已选条件：
  • × processes
 全选  【符合条件的数据共：7条】

1 Tech Report: HPL-2004-170R1: A Calculus and Logic [科技报告]

作者:Pym, David, Tofts, Chris

发布日期:2004

关键词:logic;concurrency;...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：37 下载：2  ]    

2 An Update to Located Demos2k [科技报告]

作者:Collinson, Matthew, Monahan, Brian, Pym, David

发布日期:2008

关键词:location;resource;...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：13 下载：4  ]    

3 A Calculus and Logic of Resources and Processes [科技报告]

作者:Pym, David, Tofts, Chris

发布日期:2004

关键词:logic;concurrency;...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：22 下载：4  ]    

4 Errata: HPL-2004-170 (R.2), Formal Aspects of Computing,18: 495-(2006) and Electronic [科技报告]

作者:Collinson, Matthew, Pym, David, Tofts, Chris

发布日期:2007

关键词:errata;hpl-2004-170 (R.2);...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：34 下载：4  ]    

5 Service-oriented Modelling for e-Business Applications Components [科技报告]

作者:Piccinelli, Giacomo, Salle, Mathias, Zirpins, Christian

发布日期:2001

关键词:e-business;components;...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：28 下载：1  ]    

6 Located Demos2k - Towards a Tool for Modelling Processes and [科技报告]

作者:Collinson, Matthew, Monahan, Brian, Pym, David

发布日期:2008

关键词:Demos2k;location;...

发布机构:HP Development Company

预览  |  原文链接  |  全文  [ 浏览：17 下载：4  ]