A. Burns, Robert I. Davis, S. Punnekkat.
In: Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
1996
A. Stoyen, J. Bosch, M. Aksit, T. Marlowe.
In: J. Parallel Distributed Comput..
1996
Kent L. Beck, J. Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros et al.
In: Proceedings of IEEE 18th International Conference on Software Engineering.
1996
B. Lisper.
In: .
1996
Abstract:
We study systems where deterministic computations take place in environments which may behave nondeterministically. We give a simple formalization by unions of abstract reduction systems, on which various semantics can be based in a straightforward manner. We then prove that under a simple condition on the reduction systems, the following holds: reduction strategies which are cofinal for the deter...
S. Nilsson, Gerhard Wikström, Anders Ericsson, M. Wikstrom, A. Øksendal et al.
In: Acta Radiologica.
1996
P. Bosch-Sijtsema, J. Bosch.
In: .
1996
J. Bosch.
In: J. Program. Lang..
1996