共 50 条
Guest editors' introduction: Special issue on structural operational semantics
被引:0
作者:
Aceto, L
[1
]
Fokkink, W
机构:
[1] Univ Aalborg, Dept Comp Sci, BRICS, DK-9220 Aalborg O, Denmark
[2] CWI, Dept Software Engn, NL-1098 SJ Amsterdam, Netherlands
来源:
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
|
2004年
/
60-1卷
关键词:
D O I:
10.1016/j.jlap.2004.03.010
中图分类号:
学科分类号:
摘要:
引用
收藏
页码:1 / 2
页数:2
相关论文