A model of dynamical concurrent program execution

被引：1
|
作者：
Vasenin, V. A. [1 ]
Krivchikov, M. A. [2 ]
机构：
[1] Moscow MV Lomonosov State Univ, Res Inst Mech, Moscow 119192, Russia
[2] Moscow MV Lomonosov State Univ, Dept Mech & Math, Moscow 119991, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2013年 / 39卷 / 01期
关键词：
Base Block; System Call; Program Execution; Denotational Semantic; Dynamical Semantic;
D O I：
10.1134/S0361768813010076
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Dynamical concurrent execution makes it possible to adapt programs for their execution on computing environments with parallel architecture. In the paper, a formal model of dynamical concurrent execution of programs written in functional style is presented. The model is proven to possess a feature that guarantees correctness of concurrent execution.
引用
收藏
页码：1 / 9
页数：9
相关论文
共 50 条
  • [31] Analysis of Concurrent Execution of Business Processes
    Bicevskis, Janis
    Bicevska, Zane
    Karnitis, Girts
    Nikiforova, Anastasija
    Oditis, Ivo
    BALTIC JOURNAL OF MODERN COMPUTING, 2021, 9 (04): : 466 - 489
  • [32] ON EQUIVALENT EXECUTION SEMANTICS OF CONCURRENT SYSTEMS
    JANICKI, R
    KOUTNY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 89 - 103
  • [33] Concurrent rule execution in active databases
    Saygin, Y
    Ulusoy, O
    Chakravarthy, S
    INFORMATION SYSTEMS, 1998, 23 (01) : 39 - 64
  • [34] Workflow Refactoring for Concurrent Task Execution
    Wang, Mingzhong
    Chen, Jinjun
    Zhu, Liehuang
    SECOND INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING / SECOND INTERNATIONAL CONFERENCE ON SOCIAL COMPUTING AND ITS APPLICATIONS (CGC/SCA 2012), 2012, : 629 - 636
  • [35] CONCURRENT EXECUTION OF TRANSACTION COPIES.
    Wolfson, Ouri
    1600, (24):
  • [36] Concurrent Execution System for Action Languages
    Jaaskelainen, Antti
    Jarvinen, Hannu-Matti
    Tiusanen, Mikko
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 157 - 160
  • [37] Encrypted Program Execution
    Zhuravlev, Dmytro
    Samoilovych, Ihor
    Orlovskyi, Roman
    Bondarenko, Ievgen
    Lavrenyuk, Yaroslav
    2014 IEEE 13TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM), 2014, : 817 - 822
  • [38] Visualizing program execution
    Jayaraman, B
    Baltus, CM
    IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1996, : 30 - 37
  • [39] THE PROGRAM AND ITS EXECUTION
    KAHN, A
    M S-MEDECINE SCIENCES, 1992, 8 (02): : 149 - 151
  • [40] LMC plus Scratch: A recipe to construct a mental model of program execution
    Javed, Noman
    Zeeshan, Faisal
    PROCEEDINGS OF THE 6TH CONFERENCE ON COMPUTING EDUCATION PRACTICE, CEP 2022, 2021, : 33 - 36
12345