时序逻辑

江东明 2011-9-24 23:20

Contents: 1 时序逻辑程序设计与软件工程 BOOK 2 形式化方法反思： 读《主流之外的经济学家Axel Leijonhufvud》 3 temporal and modal logic, E.Allen Emerson 4 Interval Temporal Logic, Antonio Cau and Ben Moszkowski 5 TEMPORAL LOGIC, Yde Venema 6 Temporal Logic in Informat ...

个人分类: Formal method|3656 次阅读|没有评论

pi calculus

江东明 2011-8-30 16:09

1 pi calculus Resource Access Control in Systems of Mobile Agents Pi Calculus Versus Petri Nets 1 pi calculus Resource Access Control in Systems of Mobile Agents MATTHEW HENNESSY AND JAMES RIELY ABSTRACT. We describe a typing system for a distrib ...

个人分类: Formal method|2973 次阅读|没有评论

Modal Logic 逻辑

江东明 2011-7-24 21:32

Contents 1 描述逻辑 描述逻辑综述 本体论研究综述 OWL-S vs. WSMO 基于范畴论的本体框架的研究 基于范畴论的Web本体论描述研究 复杂产品协同仿真中基于范畴论的语义本体集成 2 Modal logic A mathematical introduction to modal logic Basic Concepts in Modal Logic, Edward N. Zal ...

个人分类: Formal method|3756 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏