AN OPERATIONAL SEMANTICS FOR CSP

被引：0
|
作者：
PLOTKIN, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 148卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：250 / 252
页数：3
相关论文
共 50 条
  • [1] AN OPERATIONAL SEMANTICS FOR TIMED CSP
    SCHNEIDER, S
    [J]. INFORMATION AND COMPUTATION, 1995, 116 (02) : 193 - 213
  • [2] OPERATIONAL SEMANTICS AND A DISTRIBUTED IMPLEMENTATION OF CSP
    SCHREIBER, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 298 : 444 - 454
  • [3] A Tracking Semantics for CSP
    Llorens, Marisa
    Oliver, Javier
    Silva, Josep
    Tamarit, Salvador
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 248 - 270
  • [4] DENOTATIONAL SEMANTICS OF CSP
    SOUNDARARAJAN, N
    [J]. THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 279 - 304
  • [5] Retracing the semantics of CSP
    Brookes, S
    [J]. COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, 2005, 3525 : 1 - 14
  • [6] Executable semantics for compensating CSP
    Butler, M
    Ripon, S
    [J]. FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 243 - 256
  • [7] From CSP to Game Semantics
    Abramsky, Samson
    [J]. REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
  • [8] ASYNCHRONOUS SEMANTICS AND INFINITE BEHAVIORS FOR CSP
    FAUCONNIER, H
    [J]. THEORETICAL COMPUTER SCIENCE, 1987, 54 (2-3) : 277 - 298
  • [9] A Suspension-trace Semantics for CSP
    Cavalcanti, Ana
    Hierons, Robert M.
    Nogueira, Sidney
    Sampaio, Augusto
    [J]. 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 3 - 13
  • [10] Operational semantics for DyLPs
    Banti, F
    Alferes, JJ
    Brogi, A
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 43 - 54
12345