DocumentCode :
2795970
Title :
Formal communication semantics of SystemCFL
Author :
Man, K.L.
Author_Institution :
Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
fYear :
2005
fDate :
30 Aug.-3 Sept. 2005
Firstpage :
338
Lastpage :
345
Abstract :
In this paper, we define a formal communication semantics for SystemCFL that deals with concurrency and interaction. The communication semantics of SystemCFL is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemCFL is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemCFL.
Keywords :
computational linguistics; formal languages; formal specification; RPC protocol; SOS style; SystemCFL; formal communication semantics; structured operational semantics; Algebra; Communication standards; Computer science; Concurrent computing; Equations; Formal languages; Formal verification; Hardware design languages; Mathematics; Protocols;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital System Design, 2005. Proceedings. 8th Euromicro Conference on
Print_ISBN :
0-7695-2433-8
Type :
conf
DOI :
10.1109/DSD.2005.41
Filename :
1559823
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2795970
بازگشت