INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS

被引：503

作者：

BOLOGNESI, T

BRINKSMA, E

机构：

[1] CNR,CNUCE,I-56100 PISA,ITALY

[2] UNIV TWENTE,9700 AE ENSCHEDE,NETHERLANDS

来源：

COMPUTER NETWORKS AND ISDN SYSTEMS | 1987年 / 14卷 / 01期

关键词：

ments; o f which the most importanta re COST11 bis/TOS; ISO/TC97/SC21/WG1/FDT Subgroup C; the ESPRIT/SEDOS Project; and the IPS Group at the University of Twente (The Netherlands)W. e would like to mention specifically Luigi Logrippo; Jan de Meer; Erie Najm; Giuseppe Scollo; Alastair Tocher and Chris Vissers. We would like to thank Ken Turner and W.F. Chan for their example of the Daemon Game in LOTOS; which we have included in the paper. The first author also wishest o thank Rocco De Nicola for useful discussionsd uring the writing of parts of this paper. This work was partially supportedb y the CEC as part of the ESPRIT/ SEDOS project;

D O I：

10.1016/0169-7552(87)90085-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：25 / 59

页数：35

共 48 条

[1]

AJUBI I, 1986, DRAFT FORMAL SPECIFI

[2] PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION [J].

BERGSTRA, JA ;

KLOP, JW .

INFORMATION AND CONTROL, 1984, 60 (1-3) :109-137

[3] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS [J].

BIEMANS, F ;

BLONK, P .

COMPUTERS IN INDUSTRY, 1986, 7 (06) :491-504

[4]

BOLOGNESI T, 1987, 7TH P IFIP INT S PRO

[5]

BOUDOL G, 1985, INRIA395 RAPP RECH

[6]

Briand J. P., 1987, Protocol Specification, Testing, and Verification, VI. Proceedings of the IFIP WG 6.1 Sixth International Workshop, P73

[7]

Brinksma E., 1987, Protocol Specification, Testing, and Verification, VI. Proceedings of the IFIP WG 6.1 Sixth International Workshop, P349

[8]

Brinksma E., 1986, Protocol Specification, Testing, and Verification, V. Proceedings of the IFIP WG 6.1 Fifth International Workshop, P171

[9]

BRINKSMA E, 1987, INF875 U TWENT MEM

[10]

BRINKSMA E, 1986, INF8713 U TWENT MEM

← 1 2 3 4 5 →