LNCS 2874 - The Klaim Project: Theory and Practice Page 1 The Klaim Project: Theory and
Practice * Lorenzo Bettini1, Viviana Bono2, Rocco De Nicola1, Gianluigi Ferrari3, Daniele …

Boxed Ambients are a variant of Mobile Ambients that result from dropping the open
capability and introducing new primitives for ambient communication. The new model of …

Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …

This paper presents a new distributed process calculus, called the M-calculus, that can be
understood as a higher-order version of the Distributed Join calculus with programmable …

Mobile systems are gaining more and more importance, nevertheless the means for their
specifications are still underdeveloped. Existing UML diagrams can be used to conveniently …

Abstract Trigger-Action Platforms (TAPs) play a vital role in fulfilling the promise of the
Internet of Things (IoT) by seamlessly connecting otherwise unconnected devices and …

Distributed systems and applications are often expected to enforce high-level authorization
policies. To this end, the code for these systems relies on lower-level security mechanisms …

Distributed systems and applications are often expected to enforce high-level authorization
policies. To this end, the code for these systems relies on lower-level security mechanisms …

Abstract μ Klaim is a process language that permits programming distributed systems made
up of several mobile components interacting through multiple distributed tuple spaces. We …

The definition of suitable abstractions and models for identifying, understanding and
managing Quality of Service (QoS) constraints is a challenging issue of the Service Oriented …