Foundations of timed concurrent constraint programming

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1994, Pages 71-80

  Saraswat, Vijay A ^a   Jagadeesan, Radha ^a   Gupta, Vineet ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; FINITE AUTOMATA; FORMAL LANGUAGES; MATHEMATICAL MODELS; PROGRAM COMPILERS; RESPONSE TIME (COMPUTER SYSTEMS);

BOUNDED RESPONSE TIME; DETERMINACY; EXECUTABILITY; FINITE STATE MACHINE; SYNCHRONOUS LANGUAGES; TIMED CONCURRENT CONSTRAINT PROGRAMMING;

MATHEMATICAL PROGRAMMING;

EID: 0027940978     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)