• 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.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2795970