注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 通信顺序进程-周巢尘编

  2. 该书是由周巢尘院士所写，是一本关于csp的中文书籍。对于学习csp,是一本不错的参考书。

  3. 所属分类：网络攻防

    • 发布日期：2009-12-14
    • 文件大小：10485760
    • 提供者：panhaiyu

  1. 基于进程代数安全协议验证的研究综述

  2. 安全协议用于实现开放互联网络的通信安全， 进程代数是一类使用代数方法研究通信并发系统理论的 代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法 9描述了基于进 议验证研究的!种主要方法： 基于踪迹语义的方法； 基于互模拟验证的方法； 基于类型理论的方法； 基于 并给出了基于进程代数的安全协议验证进一步的研究方向

  3. 所属分类：网络攻防

    • 发布日期：2010-01-10
    • 文件大小：2097152
    • 提供者：xiexinqiang2009

  1. Communicating Sequential Processes

  2. Communicating Sequential Processes

  3. 所属分类：网络攻防

    • 发布日期：2010-01-14
    • 文件大小：1048576
    • 提供者：aker

  1. Introduction to Process Algebra(进程代数)

  2. 进程代数英文为：process algebra，在英文中，这个词组中的process代表一个system(系统的)behavior（行为）；一个系统就是一个能表现出各种行为的事物，在计算机世界，process主要指一个软件系统的行为；这句话很抽象，说白了就是，一个软件系统可以表现为一个动作（action），比如转换一个文件的格式，也可以发生一个个事件（event），比如格式转换完毕，另外，一个软件系统也可以在一定的序列下完成一系列动作（action）；我们可以从各个角度（aspect）去观察一

  3. 所属分类：网络攻防

    • 发布日期：2010-03-02
    • 文件大小：1029120
    • 提供者：wofy2008

  1. An introduction to process calculi

  2. 进程代数课程An introduction to process calculi:Calculus of Communicating Systems (CCS) Lecture 2 of Modelli Matematici dei Processi Concorrenti University of Southampton, UK

  3. 所属分类：网络攻防

    • 发布日期：2010-06-03
    • 文件大小：129024
    • 提供者：chizi00001

  1. mwb--进程代数工具安装文件

  2. mwb--进程代数工具安装文件 内容包括：mwb.bat,mwb.x86-win32,smlnj.exe

  3. 所属分类：系统安全

    • 发布日期：2011-04-08
    • 文件大小：5242880
    • 提供者：xgy951113

  1. Communicating and Mobile Systems the Pi-Calculus

  2. Communicating and Mobile Systems the Pi-Calculus，经典书，内附阅读工具WinDjView

  3. 所属分类：网络安全

    • 发布日期：2011-04-08
    • 文件大小：6291456
    • 提供者：xgy951113

  1. 基于进程代数的Web服务合成的替换分析

  2. 基于进程代数的Web服务合成的替换分析，Process algebra.

  3. 所属分类：其它

    • 发布日期：2011-05-20
    • 文件大小：384000
    • 提供者：sharekk7

  1. Introduction to Process Algebra

  2. 有关进程代数的入门知识

  3. 所属分类：网络攻防

    • 发布日期：2008-05-07
    • 文件大小：1029120
    • 提供者：lichun526

  1. Algebra of Communicating Processes

  2. Algebra of Communicating Processes英文版 Bergstra and Klop 进程代数重要分支之一。

  3. 所属分类：专业指导

    • 发布日期：2011-12-12
    • 文件大小：3145728
    • 提供者：m329

  1. Handbook of Process Algebra第二部分

  2. 进程代数手册第二部分 60多M压缩完了50多兆，只好分两部分压缩了。

  3. 所属分类：专业指导

    • 发布日期：2011-12-12
    • 文件大小：29360128
    • 提供者：m329

  1. 一份对进程代数的简要介绍

  2. 由我自己整理的对形式化方法中的进程代数给了一个总体的概览，因为国内做这个方向的不过，而且中文资料少得可怜，仅以分享。

  3. 所属分类：专业指导

    • 发布日期：2012-09-19
    • 文件大小：536576
    • 提供者：qianlizhima1

  1. 进程代数《Communicating Sequential Processes》

  2. 介绍进程代数，出自C. A. R. Hoare

  3. 所属分类：专业指导

    • 发布日期：2012-10-22
    • 文件大小：1048576
    • 提供者：seabamboo

  1. 安全进程代数基础

  2. 安全进程代数基础

  3. 所属分类：IT管理

    • 发布日期：2013-09-15
    • 文件大小：226304
    • 提供者：u010530470

  1. 进程代数的课件 讲得比较精简

  2. 进程代数的课件，主要是针对Introduction to Process Algebra这本书的

  3. 所属分类：网络攻防

    • 发布日期：2008-11-05
    • 文件大小：427008
    • 提供者：zhengji25

  1. 进程代数.rar

  2. 一个ppt，一个英文pdf，对于进程代数的了解有点帮助！

  3. 所属分类：讲义

    • 发布日期：2015-12-05
    • 文件大小：1048576
    • 提供者：linuxtiandi0001

  1. 基于进程代数安全协议验证的研究综述

  2. 基于进程代数安全协议验证的研究综述论文，别人推荐给我的

  3. 所属分类：网络攻防

    • 发布日期：2008-11-19
    • 文件大小：356352
    • 提供者：cys925

  1. Communicating Sequential Processes

  2. 进程代数

  3. 所属分类：专业指导

    • 发布日期：2017-03-06
    • 文件大小：1048576
    • 提供者：qq_37784765

  1. 进程代数ppt介绍（英语）

  2. 一个进程代数的ppt Jos Baeten, TU/e 外文资料

  3. 所属分类：网络攻防

    • 发布日期：2009-03-11
    • 文件大小：841728
    • 提供者：mwgmarker

  1. 进程代数的历史，介绍进程代数的发展过程

  2. 进程代数的历史这本书介绍了进程代数的产生发展过程，对学习进程代数和研究安全协议的人很有用。

  3. 所属分类：网络攻防

    • 发布日期：2010-07-15
    • 文件大小：185344
    • 提供者：jobezxy
« 12 3 4 »