博文

一种基于进程代数的协议组合形式化模型

2013-12-3 19:14

contents 1 一种基于进程代数的协议组合形式化模型 2 一种基于交互的网络服务体系结构描述语言 一种基于进程代数的协议组合形式化模型 沈 苏 彬 西比大学学报(自然科学版) 2004 摘要:目的探讨组合协议的组合规则和机制，用于描述和分析复杂的网络协议。方法运用通信 顺序进 ...

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

review: Product-Form Approximation of Queueing Networks wit

2013-9-10 09:16

Product-Form Approximation of Queueing Networks with Phase-Type Service Giuliano Casale, Peter G. Harrison, Maria Grazia Vigliotti Reversed Compound Agent Theorem (RCAT) Product-form approximation of queueing networks with phase-type service.pdf ...

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

review: Preface to Special Issue on Software Verification

2013-7-4 19:30

Preface to Special Issue on Software Verification C.A.R. HOARE and JAYADEV MISRA ACM Computing Surveys, Vol. 41, No. 4, Article 18, Publication date: October 2009 concurrent programming -- temporal logic -- process algebras &nb ...

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

类型理论

2013-6-12 08:25

- 类型系统的研究与进展 *** 类型系统的研究与进展 周晓聪 计算机科学 2008 - cnblog markdown 类型系统的研究与进展_周晓聪.pdf

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

review: Temporal constraint networks

2013-5-28 12:05

Temporal constraint networks ​ Rina Dechter Israel Institute of Technology, Haifa, Israel Itay Meiri Univ. of California, Los Angeles Judea Pearl Journal Artificial Intelligence - Special issue on knowledge representation archive ...

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

review: Branching Time and Abstraction in Bisimulation Seman

2013-5-28 10:30

Branching Time and Abstraction in Bisimulation Semantics ROB J. VAN GLABBEEK AND W. PETER WEIJLAND Centturn (war Wiskunde en Informatica, Amsterdam, The Netherlands JACM 1996 Branching time and abstraction in bisimulation semantics.pdf Abstract. In comparativ ...

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

review: An overview of the K semantic framework

2013-5-27 17:00

An overview of the K semantic framework Grigore Ro,su, Traian Florin ,Serb˘anu,t˘a The Journal of Logic and Algebraic Programming 79 (2010) 397–434 abstract K is an executable semantic framework in which programming languages, calculi, as well as type systems o ...

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

review: Thirty years of algebraic specification

2013-5-26 11:32

Editorial Thirty years of algebraic specification The Journal of Logic and Algebraic Programming 67 (2006) 1–2 the ADJ group CASL (the specification language developed within the CoFI initiative) Thirty years of algebraic specificatio ...

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

并行并发 concurrency

2013-4-12 17:04

content 1 面向并行工程的任务分配与规划 2 CUDA 3 *** 面向并行工程的任务分配与规划 杨波, 黄克正, 孙红卫 计算机集成制造系统 2002 July 摘要: 项目的成功依赖于全体参与者的协同工作, 但在并行工作环境下, 由于网络上的多功能小组工作风格 的差异, 因而在产品开发阶段经 ...

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

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