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 条
  • [1] Specification and proof in membership equational logic
    Bouhoula, A
    Jouannaud, JP
    Meseguer, J
    THEORETICAL COMPUTER SCIENCE, 2000, 236 (1-2) : 35 - 132
  • [2] The single-conclusion proof logic and inference rules specification
    Krupski, VN
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 181 - 206
  • [3] A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
    Valmari, Antti
    Hella, Lauri
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2023, 64 (01) : 61 - 93
  • [4] FUNCTIONAL SPECIFICATION OF SYNCHRONIZED PROCESSES BASED ON MODAL LOGIC
    YONEZAKI, N
    KATAYAMA, T
    JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1984, 12 : 39 - 59
  • [5] Checking correctness of business processes specification in action logic
    Kedzierski, S
    BIS 2000, 2000, : 297 - 305
  • [6] USING CCS FOR THE SPECIFICATION OF INHERITANCE
    BUCHANAN, M
    DICKERSON, B
    BRITTON, C
    LOOMES, M
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 93 - 96
  • [7] Some comments on specification tests in nonparametric absolutely regular processes
    Dette, H
    Spreckelsen, I
    JOURNAL OF TIME SERIES ANALYSIS, 2004, 25 (02) : 159 - 172
  • [8] Specification, abduction, and proof
    Arkoudas, K
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 294 - 309
  • [9] A PROOF SYSTEM FOR TYPE THEORY AND CCS
    SCHELEN, O
    FORSGREN, NO
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 539 - 540
  • [10] CCS specification of a Linda behavioural model debugger
    Sewry, D.A.
    Clayton, P.G.
    Wentworth, E.P.
    IEE proceedings. Software engineering, 1997, 144 (02): : 89 - 100
12345