ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM

被引：0
|
作者：
GUREVICH, Y [1 ]
MOSS, LS [1 ]
机构：
[1] IBM CORP, THOMAS J WATSON RES CTR, DEPT MATH SCI, YORKTOWN HTS, NY 10598 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：176 / 192
页数：17
相关论文
共 50 条
  • [41] Mobile Barriers for occam-pi: Semantics, Implementation and Application
    Welch, Peter
    Barnes, Fred
    COMMUNICATION PROCESS ARCHITECTURES 2005, 2005, 63 : 289 - 316
  • [42] Algebraic semantics for compensable transactions
    Li, Jing
    Zhu, Huibiao
    He, Jifeng
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 306 - +
  • [43] Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-driven System-level Language
    Zhu, Huibiao
    Zhao, Yongxin
    He, Jifeng
    ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 297 - 306
  • [44] Algebraic Foundations for Inquisitive Semantics
    Roelofsen, Floris
    LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 233 - 243
  • [45] FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
    LAWVERE, FW
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1963, 50 (05) : 869 - &
  • [46] ALGEBRAIC SEMANTICS OF EPDL LANGUAGE
    Liu, Jinzhuo
    Li, Tong
    Zhao, Na
    He, Jun
    Jin, Yunzhi
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND ELECTRICAL ENGINEERING (ICCEE 2011), 2011, : 395 - +
  • [47] ALGEBRAIC SEMANTICS OF EXCEPTION HANDLING
    BERNOT, G
    BIDOIT, M
    CHOPPY, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 173 - 186
  • [48] Algebraic Semantics for Hybrid Logics
    Conradie, Willem
    Robinson, Claudette
    NONCLASSICAL LOGICS AND THEIR APPLICATIONS, 2020, : 123 - 154
  • [49] Algebraic semantics in language and philosophy
    Cresswell, MJ
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1999, 77 (02) : 247 - 247
  • [50] Towards an Algebraic Semantics for Implicatives
    Zuber, R.
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (04) : 525 - 538
12345