Synchronous programming (Berry (1989)) is a powerful approach to programming reactive systems. Following the idea that "processes are relations extended over time" (Abramsky (1993)), we propose a simple but powerful model for timed, determinate computation, extending the closure-operator model for untimed concurrent constraint programming (CCP). In (Saraswat et al. 1994a) we had proposed a model for this called tcc--- here we extend the model of tcc to express strong time-outs: if an event A does not happen through time t, cause event B to happen at time t. Such constructs arise naturally in practice (e.g. in modeling transistors) and are supported in synchronous programming languages. The fundamental conceptual difficulty posed by these operations is that they are nonmonotonic. We provide a compositional semantics to the non-monotonic version of concurrent constraint programming (Default cc) obtained by changing the underlying logic from intuitionistic logic to Reiter's default logic. This allows us to use the same construction (uniform extension through time) to develop Timed Default cc as we had
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
459
|
Semantics of a Simple Language for Parallel Programming
– Kahn
- 1974
|
|
283
|
The synchronous approach to reactive and real-time systems
– Benveniste, Berry
- 1991
|
|
245
|
Semantics foundations of concurrent constraint programming
– Saraswat, Rinard, et al.
- 1991
|
|
146
|
Statecharts: A Visual Approach to Complex Systems
– Harel
- 1987
|
|
123
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
122
|
Programming Paradigms of the Andorra Kernel Language
– Janson, Haridi
- 1991
|
|
82
|
METATEM: A Framework for Programming in Temporal Logic
– Barringer, Fisher, et al.
- 1989
|
|
74
|
Constraint processing in cc(fd
– Hentenryck, Saraswat, et al.
- 1992
|
|
71
|
Foundations of timed concurrent constraint programming
– Saraswat, Jagadeesan, et al.
- 1994
|
|
69
|
Preemption in concurrent systems
– Berry
- 1993
|
|
58
|
Nonmonotonic Logics
– Marek, Truszczyiski
- 1993
|
|
52
|
Chronological ignorance: Experiments in nonmonotonic temporal reasoning
– Shoham
- 1988
|
|
51
|
Janus: A Step Towards Distributed Constraint Programming
– Saraswat, Kahn, et al.
- 1990
|
|
45
|
Dependence flow graphs: An algebraic approach to program dependencies
– Pingali, Beck, et al.
- 1991
|
|
39
|
Agent programming
– Hindriks, Boer, et al.
- 1999
|
|
35
|
A languagefor compositional specification and verification of finite state hardware controllers
– Clarke, Long, et al.
- 1991
|
|
34
|
Real-time programming: General purpose or special-purpose languages
– Berry
- 1989
|
|
33
|
V.: Programming in timed concurrent constraint languages
– Saraswat, Jagadeesan, et al.
- 1994
|
|
32
|
Temporal logic programming is complete and expressive
– Baudinet
- 1989
|
|
31
|
Nonmonotonic rule systems I
– Marek, Nerode, et al.
- 1990
|
|
28
|
The ESTEREL programming language: Design, semantics and implementation
– Berry, Gonthier
- 1992
|
|
27
|
Temporal logic programming and its relation to constraint logic programming
– Brzoska
- 1991
|
|
26
|
Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science.Kluwer Academic publishers
– Halbwachs
- 1993
|
|
23
|
The synchronous programming language LUSTRE
– Halbwachs, Caspi, et al.
- 1991
|
|
22
|
Terminal call processing in Esterel
– Murakami, Sethi
- 1992
|
|
14
|
editors): Another look at real-time systems
– Benveniste, Berry
- 1991
|
|
14
|
A model of a photocopier paper path
– Saraswat, Struss
- 1995
|
|
13
|
Concurrent constraint programming. Doctoral Dissertation Award and Logic Programming Series
– Saraswat
- 1993
|
|
12
|
THINGLAB-- A constraint oriented simulation laboratory
– Borning
- 1979
|
|
11
|
Logics and Models of Concurrent Systems, volume 13, chapter On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
9
|
Constraint Programming: The Newport Papers, chapter Object-oriented programming in Oz
– Smolka, Henz, et al.
- 1994
|
|
8
|
Efficiently executing temporal logic programs
– Merz
- 1993
|
|
7
|
Programming real time applications with SIGNAL
– Guernic, Borgue, et al.
- 1991
|
|
5
|
Interaction categories. Available by anonymous ftp from papers /Abramsky:theory.doc.ic.ac.uk
– Abramsky
- 1993
|
|
2
|
Exploring Artificial Intelligence, chapter Qualitative Physics: Past, Present and Future
– Forbus
- 1988
|
|
2
|
An introduction to LIFE--- Programming with Logic, Inheritance, Functions and Equations
– Kaci
- 1993
|
|
2
|
A fully-abstract semantics for a first order functional language with logic variables
– Jagadeesan, Panangaden, et al.
- 1991
|
|
1
|
Terminal call processing in esterel. Technical report, AT&T Bell Laboratories. Abridged version appeared as Parallelism as a Structuring Technique: Call Processing using the Esterel Language
– Murakami, Sethi
- 1990
|
|
1
|
Timed Default Concurrent Constraint Programming 35
– Barringer, Fisher, et al.
- 1990
|
|
1
|
Dependence Flow Graphs: An algebraic approach to program dependencies
– Saraswat, Jagadeesan, et al.
- 1991
|
