J.-M. Jacquet, K. De Bosschere, A. Brogi  Home/Search
Context Related
| di.unipi.it/pub/Papers/brogi...JBB00.ps 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: di.unipi.it/~bro...listofpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Although very simple and elegant, Linda-style coordination models lack the notion of time, and are therefore not able to precisely model real-life coordination applications, featuring time-outs and soft real-time constraints. This paper aims at introducing time in these models. To that end, we consider two notions of time, relative time and absolute time, and, for each notion, two types of features. On the one hand, with respect to relative time, we describe two extensions: (i) a delay ... (Update)
Similar documents based on text: More All
0.2: Formalizing Web Service Choreographies - Brogi, Canal, Pimentel, Vallecillo (2004) (Correct)
0.1: On the Expressiveness of Coordination via Shared Dataspaces - Brogi, Jacquet (2000) (Correct)
0.1: Modeling Coordination via Asynchronous Communication - Brogi, Jacquet (1997) (Correct)
BibTeX entry: (Update)
J.-M. Jacquet, K. D. Bosschere, and A. Brogi. On Timed Coordination Languages. In A. Porto and G.-C. Roman, editors, Proc. 4th lnt. Conf. on Coordination Models and LanguagesCoordination Models and Languages, volume 1906 of LNCS, pages 8198, 2000. http://citeseer.ist.psu.edu/jacquet00timed.html More
@inproceedings{ jacquet00timed,
author = "Jean-Marie Jacquet and Koenraad De Bosschere and Antonio Brogi",
title = "On Timed Coordination Languages",
booktitle = "Coordination Models and Languages",
pages = "81-98",
year = "2000",
url = "citeseer.ist.psu.edu/jacquet00timed.html" }
Citations (may not include all citations):1174 Statecharts: a Visual Formalism for Complex Systems - Harel - 1987
457 The Esterel Synchronous Programming Language: Design - Berry, Gonthier - 1992
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
271 The Oz Programming Model - Smolka - 1995
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1991
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1993
117 KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari et al. - 1998
112 Lustre: a Declarative Language for Programming Synchronous S.. (context) - Caspi, Halbwachs et al. - 1987
109 Programming by Multiset Transformation (context) - Banatre, LeMetayer - 1991
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
84 Operational and Compositional Semantics of Synchronous Autom.. - Maraninchi - 1992
64 Coordination Models and Languages - Papadopolous, Arbab - 1998
50 Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
50 JavaSpaces: Principles (context) - Freeman, Hupfer et al. - 1999
47 Concurrency: practice and experience (context) - Arbab, Herman et al. - 1993
[Article contains additional citations not shown here]
Documents on the same site (http://www.di.unipi.it/~brogi/ResearchActivity/list-of-papers.html): More
A Unifying View for Logic Programming with.. - Brogi, Lamma.. (1997) (Correct)
Modeling Coordination via Asynchronous Communication - Brogi, Jacquet (1997) (Correct)
On the Expressiveness of Coordination Models - Brogi, Jacquet (1999) (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