STEP SEMANTICS FOR TRUE CONCURRENCY WITH RECURSION

被引：1
|
作者：
MEYER, JJC
DEVINK, EP
机构：
来源：
DISTRIBUTED COMPUTING | 1989年 / 3卷 / 03期
关键词：
D O I：
10.1007/BF01784023
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：130 / 145
页数：16
相关论文
共 50 条
  • [41] Formalizing the Concurrency Semantics of an LLVM Fragment
    Chakraborty, Soham
    Vafeiadis, Viktor
    CGO'17: PROCEEDINGS OF THE 2017 INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2017, : 100 - 110
  • [42] INITIAL ALGEBRA-SEMANTICS AND CONCURRENCY
    ZAMFIR, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 298 : 528 - 549
  • [43] The Problem of Programming Language Concurrency Semantics
    Batty, Mark
    Memarian, Kayvan
    Nienhuis, Kyndylan
    Pichon-Pharabod, Jean
    Sewell, Peter
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 283 - 307
  • [44] WEAKEST PRECONDITION SEMANTICS FOR TIME AND CONCURRENCY
    SCHOLEFIELD, D
    ZEDAN, HSM
    INFORMATION PROCESSING LETTERS, 1992, 43 (06) : 301 - 308
  • [45] RELATION-BASED SEMANTICS FOR CONCURRENCY
    BOUDRIGA, N
    SLIMANI, Y
    MILI, A
    INFORMATION SCIENCES, 1993, 75 (03) : 223 - 252
  • [46] Abstract Continuation Semantics for Asynchronous Concurrency
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    2017 19TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2017), 2017, : 296 - 303
  • [47] ORDINAL PROCESSES IN COMPARATIVE CONCURRENCY SEMANTICS
    PINCHINAT, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 293 - 305
  • [48] CONTRASTING THEMES IN THE SEMANTICS OF IMPERATIVE CONCURRENCY
    DEBAKKER, JW
    KOK, JN
    MEYER, JJC
    OLDEROG, ER
    ZUCKER, JI
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 51 - 121
  • [49] A Mathematical Game Semantics of Concurrency and Nondeterminism
    Gutierrez, Julian
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 597 - 607
  • [50] Model Checking a Logic for True Concurrency
    Baldan, Paolo
    Padoan, Tommaso
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (04)
12345