scholarly journals Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

2009 ◽  
pp. 52-68 ◽  
Author(s):  
Mario Bravetti ◽  
Diego Latella ◽  
Michele Loreti ◽  
Mieke Massink ◽  
Gianluigi Zavattaro
Keyword(s):  
Tuple Spaces

Modelling global computations with Klaim

2008 ◽  
Vol 366 (1881) ◽  
pp. 3737-3745 ◽  
Author(s):  
Rocco De Nicola ◽  
Michele Loreti
Keyword(s):  
Distributed Systems ◽  
Formal Semantics ◽  
Wide Area ◽  
Wide Area Networks ◽  
Qualitative And Quantitative ◽  
Global Computing ◽  
New Models ◽  
And Control ◽  
Tuple Spaces ◽  
Coordination And Control

A new area of research, known as Global Computing, is by now well established. It aims at defining new models of computation based on code and data mobility over wide-area networks with highly dynamic topologies, and at providing infrastructures to support coordination and control of components originating from different, possibly untrusted, fault-prone, malicious or selfish sources. In this paper, we present our contribution to the field of Global Computing that is centred on Kernel Language for Agents Interaction and Mobility ( Klaim ). Klaim is an experimental language specifically designed to programme distributed systems consisting of several mobile components that interact through multiple distributed tuple spaces. We present some of the key notions of the language and discuss how its formal semantics can be exploited to reason about qualitative and quantitative aspects of the specified systems.

scholarly journals Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces

2009 ◽  
Vol 20 (3) ◽  
pp. 419-432 ◽  
Author(s):  
A.N. Bessani ◽  
M. Correia ◽  
J. da Silva Fraga ◽  
Lau Cheuk Lung
Keyword(s):  
Tuple Spaces

Automated Replication of Tuple Spaces via Static Analysis

2021 ◽  
pp. 18-34
Author(s):  
Aline Uwimbabazi ◽  
Omar Inverso ◽  
Rocco De Nicola
Keyword(s):  
Static Analysis ◽  
Tuple Spaces

scholarly journals On the collective sort problem for distributed tuple spaces

2009 ◽  
Vol 74 (9) ◽  
pp. 702-722 ◽  
Author(s):  
Matteo Casadei ◽  
Mirko Viroli ◽  
Luca Gardelli
Keyword(s):  
Tuple Spaces
Sign in / Sign up

Export Citation Format

Share Document