Rocco De Nicola, Rosario Pugliese, Antony Rowstron  Home/Search
Context
Related
| music.dsi.unifi.it/pa...ghostfull.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: music.dsi.unifi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe the proof of an optimisation that can be applied to tuple space based run-time systems (as used in Linda). (Update)
Similar documents (at the sentence level):
68.5%: Proving the Correctness of Optimising Destructive and.. - De Nicola, Pugliese.. (2000) (Correct)
Active bibliography (related documents): More All
0.3: Optimising the Linda in primitive: Understanding tuple-space.. - Rowstron (2000) (Correct)
0.3: The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (Correct)
0.2: Enforcing Security Policies via Types - Daniele Gorla And (2003) (Correct)
Similar documents based on text: More All
0.5: Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (2000) (Correct)
0.5: Interactive Mobile Agents in X-KLAIM - Bettini, De Nicola, Publiese.. (1998) (Correct)
0.4: Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (Correct)
BibTeX entry: (Update)
@inproceedings{ denicola00proving,
author = "Rocco De Nicola and Rosario Pugliese and Antony I. T. Rowstron",
title = "Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces",
booktitle = "Coordination Models and Languages",
pages = "66-80",
year = "2000",
url = "citeseer.ist.psu.edu/708967.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
117 KLAIM: A kernel language for agents interaction and mobility - De Nicola, Ferrari et al. - 1998
48 IBM Systems Journal (context) - Wyckoff, McLaughry et al. - 1998
41 Javaspace specification - Microsystems - 1999
33 Coordinating multiagent applications on the WWW: A reference.. - Ciancarini, Tolksdorf et al. - 1998
17 WCL: A web co-ordination language (context) - Rowstron - 1998
15 Tuple analysis and partial evaluation strategies in the Lind.. (context) - Carriero, Gelernter - 1990
13 Special Issue on Coordination Mechanisms and Patterns for We.. (context) - Omicini, Zambonelli et al. - 1999
6 A process algebra based on linda (context) - De Nicola, Pugliese - 1996
6 the design of Eilean: A Linda-like library for MPI - Carreria, Silva et al. - 1994
3 Optimising the Linda in primitive: Understanding tuple-space.. - Rowstron - 2000
Documents on the same site (http://music.dsi.unifi.it/papers.html): More
Linda based Applicative and Imperative Process Algebras - De Nicola, Pugliese (Correct)
Divergence in Testing and Readiness Semantics - Boreale, De Nicola, Pugliese (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC