The book draws upon linguistic, psychological, philosophical, and sociolinguistic principles
and uses practical examples from second, foreign, and mother tongue teaching. It attempts …

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

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 …

This paper presents the Kell calculus, a family of distributed process calculi, parameterized
by languages for input patterns, that is intended as a basis for studying component-based …

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

The Seal Calculus is a process language for describing mobile computation. Threads and
resources are tree structured; the nodes thereof correspond to agents, the units of mobility …

We study information flow security in the setting of mobile agents. We propose a sufficient
condition to security named Persistent_BNDC. A process is Persistent_BNDC when every of …

We study a variant of Levi and Sangiorgi's Safe Ambients (SA) enriched with passwords
(SAP). In SAP by managing passwords, for example generating new ones and distributing …

The past twenty-five years have seen an explosion of interest in nationalism and nationality
in the social sciences-the past ten also in cultural studies. These two disciplinary areas …

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 …