• DocumentCode
    1836846
  • Title

    Metric semantics for modern second order communication abstractions

  • Author

    Todoran, Eneia Nicolae

  • Author_Institution
    Dept. of Comput. Sci., Tech. Univ. of Cluj-Napoca, Cluj-Napoca, Romania
  • fYear
    2009
  • fDate
    27-29 Aug. 2009
  • Firstpage
    215
  • Lastpage
    218
  • Abstract
    In a recent paper we presented a semantic study of a language LJ that extends Hoare´s CSP model with communication on multiple channels and synchronization based on join patterns in the style of Join calculus. In this paper we investigate the semantics of a language LJ 2 that extends LJ with second order communication: sending and receiving of statements rather than values. The study takes place in the mathematical framework of 1-bounded complete metric spaces.
  • Keywords
    calculus of communicating systems; communicating sequential processes; formal languages; synchronisation; 1-bounded complete metric space; 2nd order communication abstractions; Hoare CSP model; Join calculus; communicating sequential processes; join pattern; language semantic study; multiple channel communication; synchronization; Calculus; Computer science; Concurrent computing; Extraterrestrial measurements; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Computer Communication and Processing, 2009. ICCP 2009. IEEE 5th International Conference on
  • Conference_Location
    Cluj-Napoca
  • Print_ISBN
    978-1-4244-5007-7
  • Type

    conf

  • DOI
    10.1109/ICCP.2009.5284756
  • Filename
    5284756
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1836846