Fairness and related properties in transition systems — a temporal logic to deal with fairness J. P. QueilleJ. Sifakis OriginalPaper Pages: 195 - 220
The implementation of retention in a coroutine environment John P. KearnsMary Lou Soffa OriginalPaper Pages: 221 - 223
An operational semantics for specifications of abstract data types with error handling G. EngelsU. PletatH. -D. Ehrich OriginalPaper Pages: 235 - 253
Computation sequences: A way to characterize classes of attribute grammars Hanne Riis Nielson OriginalPaper Pages: 255 - 268
Efficiency of universal parallel computers Friedhelm Meyer auf der Heide OriginalPaper Pages: 269 - 296
On the number of relational operators necessary to compute certain functions of real variables Alfred Schmitt OriginalPaper Pages: 297 - 304