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 条
  • [1] ON SPARSE COMPLETE-SETS
    WECHSUNG, G
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 281 - 287
  • [2] OPTIMAL APPROXIMATIONS OF COMPLETE-SETS
    RUSSO, DA
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 311 - 324
  • [3] STEKKELS ELECTROVACUUM SPACES WITH ISOTROPIC COMPLETE-SETS - THE PROBLEM AND BASIC RELATIONS
    BAGROV, VG
    YEVSEYEVICH, AA
    OBUKHOV, VV
    OSETRIN, KY
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII FIZIKA, 1987, 30 (05): : 17 - 21
  • [4] ON RELATIVIZATION AND THE EXISTENCE OF COMPLETE-SETS
    SIPSER, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 523 - 531
  • [5] ON WAYS OF CHARACTERIZING COMPLETE-SETS
    BULITKO, VK
    MATHEMATICS OF THE USSR-IZVESTIYA, 1992, 38 (02): : 225 - 249
  • [6] MINIMAL COMPLETE-SETS OF WORDS
    BOE, JM
    LUCA, AD
    RESTIVO, A
    THEORETICAL COMPUTER SCIENCE, 1980, 12 (03) : 325 - 332
  • [7] COMPLETE-SETS OF UNBOUNDED OBSERVABLES
    ANTOINE, JP
    EPIFANIO, G
    TRAPANI, C
    HELVETICA PHYSICA ACTA, 1983, 56 (06): : 1175 - 1186
  • [8] CORRELATIONS BETWEEN COMPLETE-SETS
    DEGTEV, AN
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1981, (05): : 50 - 55
  • [9] A NOTE ON COMPLETE-SETS AND TRANSITIVE CLOSURE
    BOOK, RV
    WRATHALL, C
    MATHEMATICAL SYSTEMS THEORY, 1982, 15 (04): : 311 - 313
  • [10] COMPLETE-SETS OF FREQUENCY SQUARES WITH SUBSQUARES
    LAYWINE, CF
    UTILITAS MATHEMATICA, 1991, 40 : 87 - 96
12345