On the Expressive Power of Concurrent Constraint Programming Languages
Mogens Nielsen
May 2002 |
Abstract:
The tcc paradigm is a formalism for timed concurrent constraint
programming. Several tcc languages differing in their way of expressing
infinite behaviour have been proposed in the literature. In this paper we
study the expressive power of some of these languages. In particular, we show
that:
Available as PostScript, PDF. |