Loading...
Please wait, while we are loading the content...
Similar Documents
Two semantics for Timed Default Concurrent Constraint Programming (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Maggiolo-Schettini, Andrea Tini, Simone |
| Description | In Proc. of Constraint Programming for Time Critical Application, COTIC '98, Electronic Notes in Theoretical Computer Science |
| Abstract | In this paper we present a general approach to give semantics of synchronous languages. By applying this approach, we define two semantics for Timed Default Concurrent Constraint Programming. 1 Introduction Nondeterministic concurrent process languages are languages for the description of interactive systems, namely systems interacting with their environment at their own rate. In [8] and [9] Letichevsky and Gilbert present a general theory for such languages. They introduce Action Language as a common model for nondeterministic concurrent process languages and define two semantics for it, an intensional semantics and an interactive semantics. The intensional semantics of a program gives its behavior by abstracting from the behavior of the environment. The idea of interactive semantics is that the meaning of a program is a transformation of its environment, which corresponds to inserting the program into the environment. If a notion of behavior of the environment is defined, then the i... |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Timed Default Concurrent Constraint Programming General Approach General Theory Interactive Semantics Intensional Semantics Nondeterministic Concurrent Process Language Common Model Interactive System Introduction Nondeterministic Concurrent Process Language Synchronous Language Action Language |
| Content Type | Text |
| Resource Type | Article |
