RELATION-BASED SEMANTICS FOR CONCURRENCY

被引：0
|
作者：
BOUDRIGA, N
SLIMANI, Y
MILI, A
机构：
[1] Department of Informatics, Faculty of Sciences, University of Tunis II, Belvedere
来源：
INFORMATION SCIENCES | 1993年 / 75卷 / 03期
关键词：
10;
D O I：
10.1016/0020-0255(93)90056-R
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Despite several decades of research, capturing the semantics of concurrent programs in a crisp and tractable fashion remains a formidable challenge. In this paper, we present a relation-based model for defining the semantics of concurrent programs. Although it is still in its enfancy, this model shows some advantageous features, which make it worthy of further investigation.
引用
收藏
页码：223 / 252
页数：30
相关论文
共 50 条
  • [41] Enhanced Operational Semantics for Concurrency
    [J]. Bulletin of the European Association for Theoretical Computer Science, (59):
  • [42] Societal Inequality, Corruption and Relation-Based Inequality in Organizations
    Sarah Hudson
    Helena V. González-Gómez
    Cyrlene Claasen
    [J]. Journal of Business Ethics, 2022, 181 : 789 - 809
  • [43] CONTRACTIONS IN COMPARING CONCURRENCY SEMANTICS
    KOK, JN
    RUTTEN, JJMM
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 76 (2-3) : 179 - 222
  • [44] Logical semantics of types for concurrency
    Caires, Luis
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 16 - +
  • [45] Continuation Semantics for Asynchronous Concurrency
    Ciobanu, Gabriel
    Todoran, Eneia Nicolae
    [J]. FUNDAMENTA INFORMATICAE, 2014, 131 (3-4) : 373 - 388
  • [46] AN AXIOMATIC SEMANTICS FOR NESTED CONCURRENCY
    MELDAL, S
    [J]. BIT, 1986, 26 (02): : 164 - 174
  • [47] Manipulability of Majority Relation-Based Collective Decision Rules
    Aleskerov, Fuad
    Ivanov, Alexander
    Karabekyan, Daniel
    Yakuba, Vyacheslav
    [J]. INTELLIGENT DECISION TECHNOLOGIES 2017, KES-IDT 2017, PT I, 2018, 72 : 82 - 91
  • [48] Relation-based clustering of particle measurements for industrial automation
    Memon, Qurban A.
    [J]. INTERNATIONAL JOURNAL OF AUTOMATION AND CONTROL, 2007, 1 (2-3) : 207 - 219
  • [49] A relation-based contextual approach for efficient multimedia analysis
    Spyrou, E.
    Tolias, G.
    Mylonas, Ph
    [J]. THIRD INTERNATIONAL WORKSHOP ON SEMANTIC MEDIA ADAPTATION AND PERSONALIZATION, PROCEEDINGS, 2008, : 15 - 20
  • [50] CONTRACTIONS IN COMPARING CONCURRENCY SEMANTICS
    KOK, JN
    RUTTEN, JJMM
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 317 : 317 - 332
12345