集成CCS和B语言的形式化方法
집성CCS화B어언적형식화방법
A Formalized Method of Integrating CCS and B
  • 万方数据
    计算机工程与科学 계산궤공정여과학
    COMPUTER ENGINEERING & SCIENCE
    2007年 11期 102-104 ,共3页

    匡春临%潘孝铭%蒋胜利

    광춘림%반효명%장성리

    形式化方法%CCS%B%集成 形式化方法%CCS%B%集成
    형식화방법%CCS%B%집성
    本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力.集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式).
    본문상시집성통신계통연산(CCS)화B어언,이확전CCS재수거화조작정의방면적능력,이급B방법재묘술병발계통방면적능력.집성후적형식화모형BCCS가이묘술화분석계통적불동방면(결구、공제、수거화공능)화불동류형적계통(순서、병발화분포식).
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문