SPECIFYING TELEPHONE SYSTEMS IN LOTOS

被引：9

作者：

BOUMEZBEUR, R ^{[1
]}

LOGRIPPO, L ^{[1
]}

机构：

[1] UNIV OTTAWA,DEPT COMP SCI,OTTAWA K1N 6N5,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1109/35.229520

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：38 / 45

页数：8

共 50 条

[31] Specifying communication in distributed information systems
Ehrich, HD
Caleiro, C
ACTA INFORMATICA, 2000, 36 (08) : 591 - 616
[32] Airborne telephone systems
Business & Commercial Aviation, 2000, 86 (05):
[33] PRIORITIES IN TELEPHONE SYSTEMS
PROKOFYE.VA
TELECOMMUNICATIONS AND RADIO ENGINEER-USSR, 1969, (04): : 37 - &
[34] A modal logic for Full LOTOS based on symbolic transition systems
Calder, M
Maharaj, S
Shankland, C
COMPUTER JOURNAL, 2002, 45 (01): : 55 - 61
[35] Rural telephone systems
Anon
American City & County, 1990, 105 (11)
[36] MOBILE TELEPHONE SYSTEMS
VILLFORTH, JC
JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1985, 253 (11): : 1634 - 1634
[37] SPECIFYING COMMUNICATING SYSTEMS WITH TEMPORAL LOGIC
CHAOCHEN, Z
TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 304 - 323
[38] SPECIFYING MULTIPLEX DATA SYSTEMS.
Fling, John J.
Power Engineering (Barrington, Illinois), 1976, 8 (02): : 50 - 53
[39] Specifying power supplies for embedded systems
Kingsepp, P
Rozenblat, L
ELECTRONIC PRODUCTS MAGAZINE, 2001, 43 (10): : 55 - 56
[40] A SIMPLE APPROACH TO SPECIFYING CONCURRENT SYSTEMS
LAMPORT, L
COMMUNICATIONS OF THE ACM, 1989, 32 (01) : 32 - 45