DocumentCode
273973
Title
From LOTOS to Occam
Author
Tvrdy, Iztok
Author_Institution
Jozef Stefan Inst., Ljubljana, Yugoslavia
fYear
1989
fDate
18-20 Sep 1989
Firstpage
175
Lastpage
179
Abstract
A comparison of the formal description technique LOTOS and the programming language Occam 2 is given in the paper. It is shown that under certain restrictions there exists a natural and straightforward possibility of implementing LOTOS specifications into Occam programs. Special emphasis is given to modelling and implementation of communications software, especially protocols and services
Keywords
Occam; Occam listings; computer aided analysis; formal specification; parallel programming; protocols; LOTOS; LOTOS specifications; Occam 2; Occam programs; communications software; formal description technique; modelling; modelling technique; programming language; protocols;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location
Cirencester
Type
conf
Filename
51745
Link To Document