A TRUE CONCURRENCY SEMANTICS FOR PARALLEL PROGRAMS

被引：0
|
作者：
KAPUS, T
HORVAT, B
PUCKO, M
机构：
[1] UNIV MARIBOR,FAC TECH SCI,MARIBOR 62000,SLOVENIA
[2] JOZEF STEFAN INST,LJUBLJANA 61111,SLOVENIA
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 39卷 / 2-5期
关键词：
D O I：
10.1016/0165-6074(93)90075-V
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper shows, how the true concurrency model for concurrent systems, so-called directed, acyclic, arc-labelled graphs, and propositional Concurrent Temporal Logic, that have been developed for the specification and verification of elementary net systems, can be adapted to give a true concurrency semantics to shared variables programs, and to write first-order specifications of the programs, so that also concurrency can be specified.
引用
收藏
页码：143 / 146
页数：4
相关论文
共 50 条
  • [41] MODELS AND LOGICS FOR TRUE CONCURRENCY
    LODAYA, K
    MUKUND, M
    RAMANUJAM, R
    THIAGARAJAN, PS
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 131 - 165
  • [42] A polynomial-time algorithm for deciding true concurrency equivalences of basic parallel processes
    Lasota, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 521 - 530
  • [43] An approach to the development of debuggers that use semantics of constructs of parallel programs
    A. Ya. Kalinov
    K. A. Karganov
    K. V. Khorenko
    Programming and Computer Software, 2005, 31 (1) : 20 - 28
  • [44] Data refinement for true concurrency
    Dongol, Brijesh
    Derrick, John
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (115): : 15 - 35
  • [45] FAIRNESS IN MODELS WITH TRUE CONCURRENCY
    NOLTE, D
    PRIESE, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 455 - 469
  • [46] Automata for True Concurrency Properties
    Baldan, Paolo
    Padoan, Tommaso
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 165 - 182
  • [47] HIDING IN STREAM SEMANTICS OF UNIFORM CONCURRENCY
    MEYER, JJC
    OLDEROG, ER
    ACTA INFORMATICA, 1990, 27 (05) : 381 - 397
  • [48] 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
  • [49] INITIAL ALGEBRA-SEMANTICS AND CONCURRENCY
    ZAMFIR, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 298 : 528 - 549
  • [50] 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
12345