A LOGIC FOR THE SPECIFICATION AND PROOF OF REGULAR CONTROLLABLE PROCESSES OF CCS

被引：6
|
作者：
GRAF, S
SIFAKIS, J
机构：
[1] IMAG, St. Martin d'Heres, Fr, IMAG, St. Martin d'Heres, Fr
来源：
ACTA INFORMATICA | 1986年 / 23卷 / 05期
关键词：
D O I：
10.1007/BF00288467
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
10
引用
收藏
页码：507 / 527
页数：21
相关论文
共 50 条
  • [21] ON FORMAL SPECIFICATION OF A PROOF TOOL
    ARTHAN, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 356 - 370
  • [22] REGULAR MAPS WITH THE SPECIFICATION PROPERTY
    Moriyasu, Kazumine
    Sakai, Kazuhiro
    Yamamoto, Kenichiro
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2013, 33 (07) : 2991 - 3009
  • [23] SPECIFICATION AND PROOF TECHNIQUES FOR SERIALIZERS
    HEWITT, CE
    ATKINSON, RR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (01) : 10 - 23
  • [24] Controllable highly regular triangulation
    Huang Jin
    Zhang MuYang
    Pei WenJie
    Hua Wei
    Bao HuJun
    SCIENCE CHINA-INFORMATION SCIENCES, 2011, 54 (06) : 1172 - 1183
  • [25] Controllable highly regular triangulation
    Jin Huang
    MuYang Zhang
    WenJie Pei
    Wei Hua
    HuJun Bao
    Science China Information Sciences, 2011, 54 : 1172 - 1183
  • [26] Compositional verification of CCS processes
    Dam, M
    Gurov, D
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 247 - 256
  • [27] Controllable highly regular triangulation
    HUANG Jin
    Science China(Information Sciences), 2011, 54 (06) : 1172 - 1183
  • [28] THE RELATION BETWEEN LOGIC PROGRAMMING AND LOGIC SPECIFICATION
    KOWALSKI, R
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1984, 312 (1522): : 345 - 361
  • [29] AXIOMATIZING CCS, NETS AND PROCESSES
    DEFRANCESCO, N
    MONTANARI, U
    YANKELEVICH, D
    SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (03) : 225 - 261
  • [30] Graphic Language for the Description and Specification of SPC Telephone Exchange Internal Logic Processes.
    Brizzi, M.
    Gioffi, G.
    1600, (25): : 1 - 2
12345