Automatically assigned DDC number: 005115
Manually assigned DDC number: 005115
Number of references: 8
Title: Timed Default Concurrent Constraint Programming
Author:
Author:
Subject: Vijay Saraswat,Radha Jagadeesan Timed Default Concurrent Constraint Programming
Description: 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...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1996-06-14
Pubyear: 1996
Format: ps
Identifier: http://citeseer.ist.psu.edu/167797.html
Source: http://www.math.luc.edu/~radha/ftp/JSC-TimedDefaultcc.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/547649.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Metate{M}: {A} Framework for Programming in Temporal Logic," />
<rec ID="/283733.html" Type="inproceedings" CiteSeer_Book="Foundations of Software Technology and Theoretical Computer Science" CiteSeer_Volume="" Title="Preemption in Concurrent Systems,">
<identifier Org="ISBN:0262620995" Paper_ID="/283733.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0387953493" Paper_ID="/283733.html" Extracted="0387953493" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0444828303" Paper_ID="/283733.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0769504876" Paper_ID="/283733.html" Extracted="0769504876" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0769505740" Paper_ID="/283733.html" Extracted="0769505740" />
<identifier Org="ISBN:0780340930" Paper_ID="/283733.html" Extracted="0780340930" DDC="621.382/15" Normalized_DDC="62138215" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0792377370" Paper_ID="/283733.html" Extracted="0792377370" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818663103" Paper_ID="/283733.html" Extracted="0818663103" />
<identifier Org="ISBN:1595935428" Paper_ID="/283733.html" Extracted="1595935428" />
<identifier Org="ISBN:3540001727" Paper_ID="/283733.html" Extracted="3540001727" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540437924" Paper_ID="/283733.html" Extracted="3540437924" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540575294" Paper_ID="/283733.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540584684" Paper_ID="/283733.html" Extracted="3540584684" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540604723" Paper_ID="/283733.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540606882" Paper_ID="/283733.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354061155X" Paper_ID="/283733.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616047" Paper_ID="/283733.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616489" Paper_ID="/283733.html" Extracted="3540616489" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540643036" Paper_ID="/283733.html" Extracted="3540643036" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540653880" Paper_ID="/283733.html" Extracted="3540653880" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/302704.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fifth International Conference on Logic Programming" CiteSeer_Volume="" Title="The Stable Model Semantics for Logic Programming,">
<identifier Org="ISBN:0262631806" Paper_ID="/302704.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0262660830" Paper_ID="/302704.html" Extracted="0262660830" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586034529" Paper_ID="/302704.html" Extracted="1586034529" />
<identifier Org="ISBN:354020721X" Paper_ID="/302704.html" Extracted="354020721X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540226710" Paper_ID="/302704.html" Extracted="3540226710" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029208X" Paper_ID="/302704.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540412859" Paper_ID="/302704.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425934" Paper_ID="/302704.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540564543" Paper_ID="/302704.html" Extracted="3540564543" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584676" Paper_ID="/302704.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584951" Paper_ID="/302704.html" Extracted="3540584951" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540594671" Paper_ID="/302704.html" Extracted="3540594671" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540618147" Paper_ID="/302704.html" Extracted="3540618147" DDC="005.74/01/5113" Normalized_DDC="00574015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540649581" Paper_ID="/302704.html" Extracted="3540649581" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657037" Paper_ID="/302704.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540677976" Paper_ID="/302704.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540699112" Paper_ID="/302704.html" Extracted="3540699112" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540721991" Paper_ID="/302704.html" Extracted="3540721991" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540738460" Paper_ID="/302704.html" Extracted="3540738460" />
<identifier Org="ISBN:3540755586" Paper_ID="/302704.html" Extracted="3540755586" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/39240.html" Type="article" CiteSeer_Book="Science of Computer Programming" CiteSeer_Volume="30" Title="Computing with Continuous Change,">
<identifier Org="ISBN:1565551370" Paper_ID="/39240.html" Extracted="1565551370" />
<identifier Org="ISBN:1581132654" Paper_ID="/39240.html" Extracted="1581132654" />
<identifier Org="ISBN:1852334029" Paper_ID="/39240.html" Extracted="1852334029" DDC="006.33" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540205896" Paper_ID="/39240.html" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540222618" Paper_ID="/39240.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540253750" Paper_ID="/39240.html" Extracted="3540253750" DDC="570" Normalized_DDC="57" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540410538" Paper_ID="/39240.html" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540439307" Paper_ID="/39240.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540604723" Paper_ID="/39240.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:354061155X" Paper_ID="/39240.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540616047" Paper_ID="/39240.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540631410" Paper_ID="/39240.html" Extracted="3540631410" />
<identifier Org="ISBN:3540643583" Paper_ID="/39240.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540787380" Paper_ID="/39240.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/453690.html" Type="inproceedings" CiteSeer_Book="Logic Programming Proceedings of the 1991 International Symposium" CiteSeer_Volume="" Title="Programming Paradigms of the {A}ndorra Kernel Language," />
<rec ID="/45821.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="A Theory of Nonmonotonic Rule Systems,">
<identifier Org="ISBN:0444501061" Paper_ID="/45821.html" Extracted="0444501061" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0817636900" Paper_ID="/45821.html" Extracted="0817636900" DDC="511" Normalized_DDC="511" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0818620730" Paper_ID="/45821.html" Extracted="0818620730" />
<identifier Org="ISBN:0818679263" Paper_ID="/45821.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540554602" Paper_ID="/45821.html" Extracted="3540554602" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540578021" Paper_ID="/45821.html" Extracted="3540578021" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540630953" Paper_ID="/45821.html" Extracted="3540630953" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540632557" Paper_ID="/45821.html" Extracted="3540632557" DDC="006.3/36" Normalized_DDC="006336" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540644067" Paper_ID="/45821.html" Extracted="3540644067" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540645152" Paper_ID="/45821.html" Extracted="3540645152" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />
</rec>
<rec ID="/360785.html" Type="inproceedings" CiteSeer_Book="Advances in Languages and Compilers for Parallel Processing" CiteSeer_Volume="" Title="{Dependence Flow Graphs: an Algebraic Approach to Program Dependencies},">
<identifier Org="ISBN:0769510191" Paper_ID="/360785.html" Extracted="0769510191" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.1" />
<identifier Org="ISBN:0780327071" Paper_ID="/360785.html" Extracted="0780327071" />
<identifier Org="ISBN:0818663103" Paper_ID="/360785.html" Extracted="0818663103" />
<identifier Org="ISBN:0818689676" Paper_ID="/360785.html" Extracted="0818689676" DDC="005.1/6" Normalized_DDC="00516" Normalized_Weight="0.1" />
<identifier Org="ISBN:0849389852" Paper_ID="/360785.html" Extracted="0849389852" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.1" />
<identifier Org="ISBN:0897916972" Paper_ID="/360785.html" Extracted="0897916972" />
<identifier Org="ISBN:1581136765" Paper_ID="/360785.html" Extracted="1581136765" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.1" />
<identifier Org="ISBN:1581138040" Paper_ID="/360785.html" Extracted="1581138040" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540009043" Paper_ID="/360785.html" Extracted="3540009043" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540197974" Paper_ID="/360785.html" Extracted="3540197974" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540202994" Paper_ID="/360785.html" Extracted="3540202994" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540539042" Paper_ID="/360785.html" Extracted="3540539042" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540572643" Paper_ID="/360785.html" Extracted="3540572643" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />
</rec>
<rec ID="/117054.html" Type="inproceedings" CiteSeer_Book="Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science Paris France 47 July 1994" CiteSeer_Volume="" Title="Foundations of Timed Concurrent Constraint Programming,">
<identifier Org="ISBN:0818663103" Paper_ID="/117054.html" Extracted="0818663103" />
<identifier Org="ISBN:0824722892" Paper_ID="/117054.html" Extracted="0824722892" />
<identifier Org="ISBN:1581132654" Paper_ID="/117054.html" Extracted="1581132654" />
<identifier Org="ISBN:1581135289" Paper_ID="/117054.html" Extracted="1581135289" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1586034146" Paper_ID="/117054.html" Extracted="1586034146" DDC="629.8/9263" Normalized_DDC="62989263" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540003894" Paper_ID="/117054.html" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540200037" Paper_ID="/117054.html" Extracted="3540200037" DDC="006.8" Normalized_DDC="0068" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540222618" Paper_ID="/117054.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540428631" Paper_ID="/117054.html" Extracted="3540428631" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354043190X" Paper_ID="/117054.html" Extracted="354043190X" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439307" Paper_ID="/117054.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540604723" Paper_ID="/117054.html" Extracted="3540604723" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540616047" Paper_ID="/117054.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540633987" Paper_ID="/117054.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540637532" Paper_ID="/117054.html" Extracted="3540637532" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540746080" Paper_ID="/117054.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540899812" Paper_ID="/117054.html" Extracted="3540899812" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:9051993544" Paper_ID="/117054.html" Extracted="9051993544" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Timed Default Concurrent Constraint Programming">
<identifier Org="ISBN:0262541041" Paper_ID="SELF" Extracted="0262541041" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1581135289" Paper_ID="SELF" Extracted="1581135289" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1595930906" Paper_ID="SELF" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540003894" Paper_ID="SELF" Extracted="3540003894" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540205896" Paper_ID="SELF" Extracted="3540205896" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354021044X" Paper_ID="SELF" Extracted="354021044X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540222618" Paper_ID="SELF" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540410201" Paper_ID="SELF" Extracted="3540410201" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540410538" Paper_ID="SELF" Extracted="3540410538" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540428631" Paper_ID="SELF" Extracted="3540428631" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043190X" Paper_ID="SELF" Extracted="354043190X" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354043366X" Paper_ID="SELF" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439307" Paper_ID="SELF" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616047" Paper_ID="SELF" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540643583" Paper_ID="SELF" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540675302" Paper_ID="SELF" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540677976" Paper_ID="SELF" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540682643" Paper_ID="SELF" Extracted="3540682643" />
</rec>
</references_metadata>