SPECIFYING TELEPHONE SYSTEMS IN LOTOS

被引：9
|
作者：
BOUMEZBEUR, R [1 ]
LOGRIPPO, L [1 ]
机构：
[1] UNIV OTTAWA,DEPT COMP SCI,OTTAWA K1N 6N5,ONTARIO,CANADA
来源：
IEEE COMMUNICATIONS MAGAZINE | 1993年 / 31卷 / 08期
关键词：
D O I：
10.1109/35.229520
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：38 / 45
页数：8
相关论文
共 50 条
  • [1] SPECIFYING HARDWARE SYSTEMS IN LOTOS
    FACI, M
    LOGRIPPO, L
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 319 - 326
  • [2] Structural models for specifying telephone systems
    Faci, M
    Logrippo, L
    Stepien, B
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 501 - 528
  • [3] DILL - SPECIFYING DIGITAL LOGIC IN LOTOS
    TURNER, KJ
    SINNOTT, RO
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 71 - 86
  • [4] A METHOD FOR SPECIFYING AND VALIDATING COMMUNICATION PROTOCOLS IN LOTOS
    CARRASCO, FJ
    GIL, JJ
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 247 - 262
  • [5] ON SPECIFYING PROTOCOLS BASED ON LOTOS AND TEMPORAL LOGIC
    ANDO, T
    KATO, Y
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1994, E77B (08) : 992 - 1006
  • [6] FORMAL SPECIFICATION OF TELEPHONE SYSTEMS IN LOTOS - THE CONSTRAINT-ORIENTED STYLE APPROACH
    FACI, M
    LOGRIPPO, L
    STEPIEN, B
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 21 (01): : 53 - 67
  • [7] Specifying broadcast communication in a sublanguage of E-LOTOS
    Kapus-Kolar, M
    IEEE REGION 8 EUROCON 2003, VOL B, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 2 - 6
  • [8] USING LOTOS FOR SPECIFYING THE CHORUS DISTRIBUTED OPERATING SYSTEM KERNEL
    PECHEUR, C
    COMPUTER COMMUNICATIONS, 1992, 15 (02) : 93 - 102
  • [9] SPECIFICATION AND IMPLEMENTATION OF AN ISDN TELEPHONE SYSTEM USING LOTOS
    ERNBERG, P
    HOVANDER, T
    MONFORT, F
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 171 - 186
  • [10] Specifying systems
    Sharratt, John
    Control and Instrumentation, 1995, 27 (04):
12345