Metric semantics for modern second order communication abstractions

Name: Metric semantics for modern second order communication abstractions
Creator: Eneia Nicolae Todoran
Keywords: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Eneia Nicolae Todoran

Found an issue? Give us feedback

https://doi.org/10.1...arrow_drop_down

https://doi.org/10.1109/iccp.2...

Article . 2009 . Peer-reviewed

Data sources: Crossref

https://dx.doi.org/10.1109/icc...

Article

Data sources: Microsoft Academic Graph

Metric semantics for modern second order communication abstractions

descriptionPublicationkeyboard_double_arrow_right Article 01 Aug 2009Publisher:IEEEJournal:2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing

Authors: Eneia Nicolae Todoran;

doi: 10.1109/iccp.2009.5284756

Metric semantics for modern second order communication abstractions

- Summary
- Related research
  (3)
- Metrics

Abstract

In a recent paper [9] we presented a semantic study of a language L J 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 L2 J that extends L J 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.

Related Organizations

Technical University of Cluj-Napoca
Romania

3 Research products, page 1 of 1

Compiling Pattern Matching in Join-Patterns
2004IsAmongTopNSimilarDocuments
Compiling Join-Patterns1 1This work is partly supported by the ESPRIT CONFER-2 WG-21836
1998IsAmongTopNSimilarDocuments
JErlang: Erlang with Joins
2010IsAmongTopNSimilarDocuments

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average