Lubos Brim, Mojmir Kretinsky, David Gilbert, et al.  Home/Search
Context
Related
| contraintes.inria.fr/~soli...brim.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: contraintes.inria.fr/...documents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction A significant amount of research effort has been spent on the development of formal methods for real-time and time-critical systems. In the context of ccp, Saraswat et al. have proposed timed default concurrent constraint programming [13], which uniformly extends Default cc across real (continuous) time. The model of time, originally presented in [10, 11], is based on the notion of positive/negative information; time is introduced by identifying quiescent points of the ... (Update)
Similar documents (at the sentence level):
64.6%: Temporal Synchronous Concurrent Constraint Programming - Brim, Gilbert, Jacquet.. (1997) (Correct)
Active bibliography (related documents): More All
0.3: Models for Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996) (Correct)
0.3: Multi-Agent Systems as Concurrent Constraint Processes - Brim, Gilbert, Jacquet.. (2001) (Correct)
0.2: Time Limited Model Checking - Falaschi, Policriti, Villanueva (2001) (Correct)
Similar documents based on text: More All
0.3: A Process Algebra for Synchronous Concurrent.. - Brim, Gilbert.. (1996) (Correct)
0.2: A Fully Abstract Semantics for a Version of.. - Jacquet, Brim.. (1999) (Correct)
0.2: New Versions of Ask and Tell for Synchronous.. - Brim, Gilbert.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ brim-adding,
author = "Lubos Brim and Mojmir Kretinsky and David Gilbert and et al.",
title = "Adding Time via Timed Transitions to Concurrent Constraint Programming",
url = "citeseer.ist.psu.edu/700976.html" }
Citations (may not include all citations):271 The Oz programming model - Smolka - 1995
129 An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis - 1991
101 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
50 Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
39 Foundations of Timed Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1994
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1994
28 Programming in Timed Concurrent Constraint Languages - Saraswat - 1993
21 Programming in hybrid constraint languages - Gupta, Jagadeesan et al. - 1994
16 A Process Algebra for Synchronous Concurrent Constraint Prog.. - Brim, Jacquet et al. - 1996
10 Towards a concurrent semantics based analysis of CC and CLP - Montanari, Rossi et al. - 1994
9 New Versions of Ask and Tell for Synchronous Communication i.. - Brim, Jacquet et al. - 1996
7 Nonmonotonic concurrent constraint programming (context) - de Boer, Kok et al. - 1993
5 hybrid automata and program verification (context) - Gupta, Jagadeesan et al. - 1995
2 Semantics and expressive power of a timed concurrent constra.. (context) - de Boer, Gabbrielli et al. - 1997
1 Temporal Concurrent Constraint Programming (context) - Brim, Kret'insk'y et al. - 1997
Documents on the same site (http://contraintes.inria.fr/~soliman/ercim/Workshops/Workshop2/Doc/documents.html): More
Compiling Semiring-based Constraints - Georget (1997) (Correct)
Scheduling by "Abductive Execution" of a Classical .. - Denecker.. (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (1997) (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