A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES

被引：2
|
作者：
JACOB, J
机构：
[1] Oxford University Computing Laboratory, Programming Research Group, Oxford, OX1 3QD
来源：
INFORMATION PROCESSING LETTERS | 1990年 / 35卷 / 01期
关键词：
Distributed systems; formal semantics; operating systems; program specification; software engineering;
D O I：
10.1016/0020-0190(90)90168-W
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：19 / 22
页数：4
相关论文
共 50 条
12345