Denotational semantics of an object-oriented programming language with explicit wrappers Andreas V. Hense OriginalPaper Pages: 181 - 207
LOTOS extended with probabilistic behaviours Carlos MiguelAngel FernándezLeon Vidaller OriginalPaper Pages: 253 - 281