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 条
  • [1] Fuzzy relation-based diagnosis
    A. B. Rakityanskaya
    A. P. Rotshtein
    [J]. Automation and Remote Control, 2007, 68 : 2198 - 2213
  • [2] Relation-Based Information Retrieval
    Manjula, D.
    Geetha, T.
    [J]. JOURNAL OF INFORMATION & KNOWLEDGE MANAGEMENT, 2005, 4 (02) : 133 - 138
  • [3] Fuzzy relation-based diagnosis
    Rakityanskaya, A. B.
    Rotshtein, A. P.
    [J]. AUTOMATION AND REMOTE CONTROL, 2007, 68 (12) : 2198 - 2213
  • [4] RELATION-BASED EVIDENTIAL REASONING
    AN, Z
    BELL, DA
    HUGHES, JG
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1993, 8 (03) : 231 - 251
  • [5] Relation-based lightweight workflow engine
    He, Q.F.
    Li, G.J.
    Jiao, L.M.
    Liu, L.L.
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2001, 38 (02):
  • [6] Relation-Based Thought, Objectivity and Disagreement
    Peacocke, Christopher
    [J]. DIALECTICA, 2010, 64 (01) : 35 - 56
  • [7] FAIRNESS AND INCENTIVES IN RELATION-BASED SOCIETIES
    Pi, Jiancai
    [J]. EKONOMSKA ISTRAZIVANJA-ECONOMIC RESEARCH, 2011, 24 (02): : 15 - 25
  • [8] A relation-based schema for treebank annotation
    Bosco, C
    Lombardo, V
    [J]. AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 462 - 473
  • [9] Continuation-Based Metric Semantics for Concurrency
    Todoran, Eneia Nicolae
    [J]. 2019 IEEE 15TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP 2019), 2019, : 551 - 559
  • [10] A LOTOS BASED CALCULUS WITH TRUE CONCURRENCY SEMANTICS
    COURTIAT, JP
    DACOSTA, RJC
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 559 - 574
12345