Timed Default Concurrent Constraint Programming

Timed Default Concurrent Constraint Programming

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 mode...

Two Semantics for Timed Default Concurrent Constraint Programming 1

In this paper we present a general approach to give semantics of synchronous languages. By applying this approach, we deene two semantics for Timed Default Concurrent Constraint Programming.

A Causal Semantics for Timed Default Concurrent Constraint Programming

jcc: Integrating Timed Default Concurrent Constraint Programming into Java

This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use in education and research, for the programming of embedded reactive systems, for parallel/distributed simulation and modelling (particularly for space, robotics and systems biology applications), and to support the development o...

A Causal Semantics for Timed Default Concurrent Constraint Programming