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
关键词
D O I
10.1016/j.ic.2008.10.006
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:83 / 84
页数:2
相关论文
共 50 条