IMPERIAL
1993
13 years 11 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
IMPERIAL
1993
13 years 11 months ago
1993
We describe some ideas and results about the following problem: Given a set, a family of \preference relations" on the set, and a \priority" among those preference relat...
IMPERIAL
1993
13 years 11 months ago
1993
IMPERIAL
1993
13 years 11 months ago
1993
IMPERIAL
1993
13 years 11 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
FTRTFT
1994
Springer
13 years 11 months ago
1994
Springer
FTRTFT
1994
Springer
13 years 11 months ago
1994
Springer
FTRTFT
1994
Springer
13 years 11 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
FM
1994
Springer
13 years 11 months ago
1994
Springer
FM
1994
Springer
13 years 11 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...