A LOGICAL THEORY OF CONCURRENT OBJECTS

被引：0
|
作者：
MESEGUER, J
机构：
[1] STANFORD UNIV, CTR STUDY LANGUAGE & INFORMAT, STANFORD, CA 94305 USA
[2] SRI INT, MENLO PK, CA 94025 USA
来源：
SIGPLAN NOTICES | 1990年 / 25卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：101 / 115
页数：15
相关论文
共 50 条
12345