DocumentCode
2325617
Title
Specifying broadcast communication in a sublanguage of E-LOTOS
Author
Kapus-Kolar, Monika
Author_Institution
Dept. of Digital Commun. & Networks, Jozef Stefan Univ., Ljubljana, Slovenia
Volume
2
fYear
2003
fDate
22-24 Sept. 2003
Firstpage
2
Abstract
The only form of interprocess communication in E-LOTOS, a standard process-algebraic language for specification of concurrent and reactive system, is multiway synchronization. We show that through abstract interpretation of events, E-LOTOS can also support broadcast communication. A transformation is provided for encoding the enhanced semantics in the original E-LOTOS. The discussion is limited to LOTOS-like processes.
Keywords
formal specification; programming language semantics; specification languages; E-LOTOS; LOTOS-like process; abstract interpretation; broadcast communication; concurrent specification; constraint-oriented specification; interprocess communication; multiway synchronization; parallel composition operator; process-algebraic language; reactive system; semantics encoding; sublanguage; Broadcasting; Data communication; Digital communication; Encoding; Formal languages; Intelligent networks; Pattern matching; Specification languages; Telecommunication standards; Termination of employment;
fLanguage
English
Publisher
ieee
Conference_Titel
EUROCON 2003. Computer as a Tool. The IEEE Region 8
Print_ISBN
0-7803-7763-X
Type
conf
DOI
10.1109/EURCON.2003.1248118
Filename
1248118
Link To Document