Logic in Computer Science (LICS 1994)

Paper: Foundations of timed concurrent constraint programming (at LICS 1994)

Authors: Vijay Saraswat Radha Jagadeesan Vineet Gupta

Abstract

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

BibTeX

  @InProceedings{SaraswatJagadeesanG-Foundationsoftimedc,
    author = 	 {Vijay Saraswat and Radha Jagadeesan and Vineet Gupta},
    title = 	 {Foundations of timed concurrent constraint programming},
    booktitle =  {Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1994},
    year =	 1994,
    editor =	 {Samson Abramsky},
    month =	 {July}, 
    pages =      {71--80},
    location =   {Paris, France}, 
    publisher =	 {IEEE Computer Society Press}
  }