user

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 条
  • [11] Beyond Similarity: Relation-Based Collaborative Filtering
    Liu, Guannan
    Zhang, Liang
    Wu, Junjie
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (01) : 128 - 140
  • [12] METRIC SEMANTICS FOR CONCURRENCY
    DEBAKKER, JW
    MEYER, JJC
    [J]. BIT, 1988, 28 (03): : 504 - 529
  • [13] Relation-Based File Management for Portable Device
    Kim, Junghwan
    Ahn, Hyunju
    Park, Chanho
    [J]. 2010 7TH IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE-CCNC 2010, 2010, : 82 - 86
  • [14] Relation-based variations of the discrete radon transform
    Hsueh, YC
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1996, 31 (03) : 119 - 131
  • [15] Relation-based document retrieval for biomedical IR
    Zhou, Xiaohua
    Hu, Xiaohua
    Li, Guangren
    Lin, Xia
    Zhang, Xiaodan
    [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY V, 2006, 4070 : 112 - 128
  • [16] Signal Relation-Based Physical Layer Authentication
    Aygul, Mehmet Ali
    Buyukcorak, Saliha
    da Costa, Daniel Benevides
    Ates, Hasan Fehmi
    Arslan, Huseyin
    [J]. ICC 2020 - 2020 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2020,
  • [17] A relation-based search engine in Semantic Web
    Li, Yufei
    Wang, Yuan
    Huang, Xiaotao
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2007, 19 (02) : 273 - 282
  • [18] Improving Relation Extraction with Relation-Based Gated Convolutional Selector
    Yi, Qian
    Zhang, Guixuan
    Zhang, Shuwu
    Liu, Jie
    [J]. CHINESE COMPUTATIONAL LINGUISTICS, CCL 2019, 2019, 11856 : 233 - 245
  • [19] A Relation-Based Modeling Method for Workshop Reconfiguration
    LI Pan-jing
    [J]. International Journal of Plant Engineering and Management, 2004, (04) : 205 - 214
  • [20] Design of Fuzzy Relation-Based Image Sharpeners
    Russo, Fabrizio
    [J]. NEW ADVANCES IN INTELLIGENT SIGNAL PROCESSING, 2011, 372 : 115 - 131
12345