搜索结果: 1-4 共查到“计算机科学技术 CALCULUS”相关记录4条 . 查询时间(0.062 秒)
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...
Some Trade-off Results for Polynomial Calculus
Proof complexity polynomial calculus PCR resolution trade-offs size space degree pebble games
2016/1/23
We present size-space trade-offs for the polynomial calculus(PC) and polynomial calculus resolution (PCR) proof sys-tems. These are the first true size-space trade-offs in any algebraic proof system, ...
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Speech Act Calculus Natural Deduction Logic Pragmatisation
2015/7/21
Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal lev...
基于Pi-Calculus的跨组织工作流建模方法*
工作流建模 Pi-Calculus 跨组织流程
2008/3/3
针对跨组织协同环境下的业务流程建模技术的不足，提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作，并且适合于对分布式协同环境下的工作流进行建模。