Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Ninth Annual IEEE Symposium on

Logic in Computer Science (LICS 1994)

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

Authors: Vijay A. 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 A. Saraswat and Radha Jagadeesan and Vineet Gupta},
    title = 	 {Foundations of timed concurrent constraint programming},
    booktitle =  {Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS 1994)},
    year =	 {1994},
    month =	 {July}, 
    pages =      {71--80},
    location =   {Paris, France}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski