COMPLETE-SETS OF AXIOMS FOR FINITE BASIC LOTOS BEHAVIORAL EQUIVALENCES

被引：1
|
作者：
BOREALE, M
INVERARDI, P
NESI, M
机构：
[1] CNR,IEI,VIA S MARIA 46,I-56126 PISA,ITALY
[2] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE,ENGLAND
来源：
INFORMATION PROCESSING LETTERS | 1992年 / 43卷 / 03期
关键词：
SPECIFICATION LANGUAGES; CONCURRENCY; BEHAVIORAL EQUIVALENCES; COMPLETE AXIOMATISATIONS;
D O I：
10.1016/0020-0190(92)90008-J
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：155 / 160
页数：6
相关论文
共 50 条
12345