Sciweavers

25 search results - page 3 / 5
» On Calculi for Context-Aware Coordination
Sort
View
JLP
2008
121views more  JLP 2008»
13 years 3 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
COORDINATION
2008
Springer
13 years 7 months ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
ENTCS
2002
90views more  ENTCS 2002»
13 years 5 months ago
Guardians for Ambient-based Monitoring
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
EDBT
2006
ACM
98views Database» more  EDBT 2006»
14 years 5 months ago
Evolving Triggers for Dynamic Environments
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
Agnès Voisard, Annika Hinze, Goce Trajcevsk...
COORDINATION
2007
Springer
13 years 11 months ago
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
John Field, Maria-Cristina V. Marinescu, Christian...