1,721,070 research outputs found
Synchrony vs Asynchrony in Communication Primitives
No full textWe study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming features like arity of data, communication medium and possibility of pattern matching. For some primitives, we show how their synchronous version can be encoded in their asynchronous counterpart via a fully abstract encoding, thus proving that the two versions have the same expressive power. For the remaining primitives, we prove that no 'reasonable' encoding can exist, thus proving that synchrony adds expressiveness to the language. © 2007 Elsevier B.V. All rights reserved
Comparing communication primitives via their relative expressive power
No full textIn this paper, we study 16 communication primitives, arising from the combination of four useful programming features: synchronism (synchronous vs asynchronous primitives), arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and pattern-matching. Some of these primitives have already been used in at least one language which has appeared in the literature; however, to reason uniformly on such primitives, we plug them into a common framework based on the pi. By means of possibility/impossibility of 'reasonable' encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power. (C) 2008 Elsevier Inc. All rights reserved
ETAPS (European Joint Conference on Theory and Practice of Software)
No full textETAPS è una confederazione di 6 conferenze (FOSSACS, ESOP, TACAS, FASE, CC e POST) e di una ventina di workshop, tutti legati all'ambito della progettazione e realizzazione di sistemi software
On the Relative Expressive Power of Calculi for Mobility
No full textIn this paper, we comparatively analyze some mainstream calculi for mobility: asynchronous π-calculus, distributed π-calculus and Mobile/Boxed/Safe ambients. In particular, we focus on their relative expressive power, i.e. we try to encode one in the other while respecting some reasonable properties. According to the possibility or the impossibility for such results, we set up a hierarchy of these languages. © 2009 Elsevier B.V. All rights reserved
- …
