CONNECTIONS BETWEEN A CONCRETE AND AN ABSTRACT MODEL OF CONCURRENT SYSTEMS

被引：0
|
作者：
STARK, EW
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 442卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：53 / 79
页数：27
相关论文
共 50 条
  • [1] ε-connections of abstract description systems
    Kutz, O
    Lutz, C
    Wolter, F
    Zakharyaschev, M
    [J]. ARTIFICIAL INTELLIGENCE, 2004, 156 (01) : 1 - 73
  • [2] Between the concrete and the abstract
    Perroux, Alain
    [J]. AVANT SCENE OPERA, 2007, (241): : 40 - 43
  • [3] ARE PHYSICAL SYSTEMS ABSTRACT OR CONCRETE
    HUGGINS, WH
    [J]. IRE TRANSACTIONS ON CIRCUIT THEORY, 1962, CT 9 (04): : 314 - &
  • [4] Neural reuse leads to associative connections between concrete (physical) and abstract (social) concepts and motives
    Wang, Yimeng
    Bargh, John A.
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 2016, 39 : e134
  • [5] Abstract interpretation and model checking for checking secure information flow in concurrent systems
    De Francesco, N
    Santone, A
    Tesei, L
    [J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 195 - 211
  • [6] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
    Din, Crystal Chang
    Haehnle, Reiner
    Henrio, Ludovic
    Johnsen, Einar Broch
    Pun, Violet Ka I.
    Tarifa, S. Lizeth Tapia
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2024, 46 (01):
  • [7] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
    Din, Crystal Chang
    Haehnle, Reiner
    Johnsen, Einar Broch
    Pun, Ka I.
    Tarifa, Silvia Lizeth Tapia
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 22 - 43
  • [8] AN ABSTRACT MACHINE FOR CONCURRENT MODULAR SYSTEMS - CHARM
    CORRADINI, A
    MONTANARI, U
    ROSSI, F
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 165 - 200
  • [9] CONCEPTUAL CONNECTIONS BETWEEN REALISTIC AND ABSTRACT PICTURES
    HONECK, RP
    CASE, TJS
    FIRMENT, M
    [J]. BULLETIN OF THE PSYCHONOMIC SOCIETY, 1988, 26 (01) : 5 - 7
  • [10] A FULLY ABSTRACT MODEL FOR CONCURRENT CONSTRAINT PROGRAMMING
    DEBOER, FS
    PALAMIDESSI, C
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 493 : 296 - 319
12345