PROCESS SPECIFICATIONS

被引：0
|
作者：
MCCORMAC.F
机构：
来源：
MACHINE DESIGN | 1970年 / 42卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TH [机械、仪表工业];
学科分类号：
0802 ;
摘要：
引用
收藏
页码：96 / &
相关论文
共 50 条
  • [31] A new theory for equivalence between process specifications
    Elgendy, H
    ICECS 96 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS, VOLS 1 AND 2, 1996, : 1186 - 1189
  • [32] Compiling process algebraic specifications into timed automata
    Chang, CK
    Tseng, YT
    Buy, U
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 338 - 343
  • [33] Graph process specifications for hybrid networked systems
    Philip Y. Twu
    Patrick Martin
    Magnus B. Egerstedt
    Discrete Event Dynamic Systems, 2012, 22 : 541 - 577
  • [34] AUTOMATED DISMEMBERMENT OF JS']JSD PROCESS SPECIFICATIONS
    BASS, A
    RATCLIFF, B
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (08) : 515 - 523
  • [35] Specifications and the contracting process-owners viewpoint
    Weichel, TR
    WATER RESOURCES ENGINEERING 98, VOLS 1 AND 2, 1998, : 914 - 919
  • [36] Foundations of Reactive Synthesis for Declarative Process Specifications
    Geatti, Luca
    Montali, Marco
    Rivkin, Andrey
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 16, 2024, : 17416 - 17425
  • [37] Specifications and verification of network protocols by process algebra
    Ciobanu, G
    Sridhar, KN
    SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 250 - 258
  • [38] State space reduction for process algebra specifications
    Garavel, H
    Serwe, W
    THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) : 131 - 145
  • [39] Comparative analysis of the notions of equivalence for process specifications
    El-Gendy, H
    El-Sayed, H
    Fayez, AW
    THIRD IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1998, : 711 - 716
  • [40] MODULAR SPECIFICATIONS IN PROCESS ALGEBRA WITH CURIOUS QUEUES
    VANGLABBEEK, R
    VAANDRAGER, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 465 - 506
12345