Foundations of Timed Concurrent Constraint Programming

@inproceedings{Saraswat1994FoundationsOT,
  title={Foundations of Timed Concurrent Constraint Programming},
  author={Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta},
  booktitle={LICS},
  year={1994}
}
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of process algebras, we develop some combinators expressible in this model, and reconcile their operational, logical and denotational character. We show how programs may be compiled into finite-state machines with loop-free computations at each state, thus guaranteeing bounded response time. 
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 118 extracted citations

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus

2015 IEEE International Conference on Information Reuse and Integration • 2015
View 12 Excerpts
Highly Influenced

Linear time-dependent constraints programming with MSVL

J. Comb. Optim. • 2014
View 9 Excerpts
Highly Influenced

Notes on Timed CCP

View 9 Excerpts
Highly Influenced

Concurrency, Time, and Constraints

ICLP • 2003
View 6 Excerpts
Highly Influenced

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Preemption in Concurrent Systems

FSTTCS • 1993
View 10 Excerpts
Highly Influenced

Interaction Categories

Theory and Formal Methods • 1993
View 3 Excerpts
Highly Influenced

The synchronous programming language LUSTRE

N. Halbwachs, P. Caspi, D. Pilaud
In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, Special issue on Another Look at Real-time Systems, • 1991
View 1 Excerpt

Terminal call processing in esterel

G. Murakami, R. Sethi
Technical Report 150, AT& TBell labs, • 1990
View 1 Excerpt

Similar Papers

Loading similar papers…