Structural Operational Semantics for Weighted Transition Systems

被引：0
|
作者：
Klin, Bartek [1 ]
机构：
[1] Univ Cambridge, Warsaw Univ, Cambridge CB2 1TN, England
来源：
SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY | 2009年 / 5700卷
关键词：
BISIMULATION;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A general rule format for the SOS specification of weighted systems is obtained via the coalgebraic approach of Turi and Plotkin. Previously known formats for labelled transition systems (GSOS) and stochastic systems (SGSOS) appear as special cases.
引用
收藏
页码：121 / 139
页数：19
相关论文
共 50 条
  • [1] Structural operational semantics for stochastic and weighted transition systems
    Klin, Bartek
    Sassone, Vladimiro
    [J]. INFORMATION AND COMPUTATION, 2013, 227 : 58 - 83
  • [2] Structural operational semantics for continuous state stochastic transition systems
    Bacci, Giorgio
    Miculan, Marino
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 81 (05) : 834 - 858
  • [3] Structural operational semantics of P systems
    Andrei, O
    Ciobanu, G
    Lucanu, D
    [J]. MEMBRANE COMPUTING, 2006, 3850 : 31 - 48
  • [4] Dynamic structural operational semantics
    Johansen, Christian
    Owe, Olaf
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 107 : 79 - 107
  • [5] A structural approach to operational semantics
    Plotkin, GD
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 17 - 139
  • [6] Structural Operational Semantics - Preface
    Mosses, Peter D.
    Ulidowski, Irek
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 373 (03) : 161 - 162
  • [7] The origins of structural operational semantics
    Plotkin, GD
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
  • [8] Modular structural operational semantics
    Mosses, PD
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 195 - 228
  • [9] Structural operational semantics for AKL
    Haridi, Seif
    Janson, Sverker
    Palamidessi, Catuscia
    [J]. Future Generation Computer Systems, 1992, 8 (04) : 409 - 421
  • [10] Adaptive Structural Operational Semantics
    Jouneaux, Gwendal
    Frolich, Damian
    Barais, Olivier
    Combemale, Benoit
    Le Guernic, Gurvan
    Mussbacher, Gunter
    van Binsbergen, L. Thomas
    [J]. PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023, 2023, : 29 - 42
12345