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 条
  • [31] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [32] An introductory tutorialto concurrency-relateddistributed recursion
    Rajsbaum, Sergio
    Raynal, Michel
    Bulletin of the European Association for Theoretical Computer Science, 2013, 111 : 49 - 67
  • [33] MODELS AND LOGICS FOR TRUE CONCURRENCY
    LODAYA, K
    MUKUND, M
    RAMANUJAM, R
    THIAGARAJAN, PS
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 131 - 165
  • [34] Data refinement for true concurrency
    Dongol, Brijesh
    Derrick, John
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (115): : 15 - 35
  • [35] FAIRNESS IN MODELS WITH TRUE CONCURRENCY
    NOLTE, D
    PRIESE, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 455 - 469
  • [36] Automata for True Concurrency Properties
    Baldan, Paolo
    Padoan, Tommaso
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 165 - 182
  • [37] AN INTRODUCTORY TUTORIAL TO CONCURRENCY-RELATED DISTRIBUTED RECURSION
    Fatourou, Panagiota
    Rajsbaum, Sergio
    Raynal, Michel
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2013, (111): : 49 - 67
  • [38] An abstract monadic semantics for value recursion
    Moggi, E
    Sabry, A
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2004, 38 (04): : 375 - 400
  • [39] Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
    Kitchin, David
    Quark, Adrian
    Misra, Jayadev
    REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 229 - 254
  • [40] HIDING IN STREAM SEMANTICS OF UNIFORM CONCURRENCY
    MEYER, JJC
    OLDEROG, ER
    ACTA INFORMATICA, 1990, 27 (05) : 381 - 397
12345