Special issue on structural operational semantics Preface

被引：0
|
作者：
van Glabbeek, Rob [1 ,2 ]
Mosses, Peter D. [3 ]
机构：
[1] UNSW, NICTA, Sydney, NSW 1466, Australia
[2] Univ New S Wales, Sch Comp Sci & Engn, Sydney, NSW 2052, Australia
[3] Swansea Univ, Swansea, W Glam, Wales
来源：
INFORMATION AND COMPUTATION | 2009年 / 207卷 / 02期
关键词：
D O I：
10.1016/j.ic.2008.10.006
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：83 / 84
页数：2
相关论文
共 50 条
  • [31] Special Issue: Quantum structures in computer science: Language, semantics, retrieval Preface
    Aerts, Diederik
    Melucci, Massimo
    de Bianchi, Massimiliano Sassoli
    Sozzo, Sandro
    Veloz, Tomas
    THEORETICAL COMPUTER SCIENCE, 2018, 752 : 1 - 4
  • [32] Dynamic structural operational semantics
    Johansen, Christian
    Owe, Olaf
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 79 - 107
  • [33] A structural approach to operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 17 - 139
  • [34] The origins of structural operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
  • [35] Structural operational semantics for AKL
    Haridi, Seif
    Janson, Sverker
    Palamidessi, Catuscia
    Future Generation Computer Systems, 1992, 8 (04) : 409 - 421
  • [36] Modular structural operational semantics
    Mosses, PD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 195 - 228
  • [37] Adaptive Structural Operational Semantics
    Jouneaux, Gwendal
    Frolich, Damian
    Barais, Olivier
    Combemale, Benoit
    Le Guernic, Gurvan
    Mussbacher, Gunter
    van Binsbergen, L. Thomas
    PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, 2023, : 29 - 42
  • [38] Special issue: Millenium special issue - Preface
    Hamilton, EI
    SCIENCE OF THE TOTAL ENVIRONMENT, 2000, 249 (1-3) : 1 - 2
  • [39] Special Issue on NLP & Semantics
    Hershcovich, Daniel
    Donatelli, Lucia
    KUNSTLICHE INTELLIGENZ, 2021, 35 (3-4): : 251 - 253
  • [40] Special Issue on NLP & Semantics
    Daniel Hershcovich
    Lucia Donatelli
    KI - Künstliche Intelligenz, 2021, 35 : 251 - 253
12345