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.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1836846
بازگشت