Power Domains Supporting Recursion and Failure (1998)

Cached

Download Links

by Reinhold Heckmann
Citations:3 - 1 self

Documents Related by Co-Citation

210 A powerdomain construction – G. D. Plotkin - 1976
78 Power domains – M B Smyth - 1978
8 Structured Specifications and Implementation of Nondeterministic Data Types – Michal Walicki, Alle Rechte Vorbehalten, Technischen Universit√§t M√ľnchen, Micha L Walicki, Mafred Broy, Manfred Broy - 1995
3 An abstraction mechanism for process algebras – J Bergstra, J Klop - 1983
5 Computable nondeterministic functions – A K Chandra - 1978
2 Initiality + nondeterminism ) junk – M Walicki, S Meldal - 1993
3 The semantics of disjunctive deductive databases – H Volger - 1989
3 An algorithm for general set unification – F Stolzenburg - 1993
3 Denotational Semantics of Determinate and Non-Determinate Data Flow Programs – Paul R. Kosinski, Paul Roman Kosinski, Paul R. Kosinski, Paul Roma Xosini - 1979
3 Compatible orderings on the metric theory of trees – S Bloom, R Tindell - 1980
3 Programming languages as abstract data types – M Broy, M Wirsing - 1980
3 Sets and nondeterminism – M Walicki, S Meldal - 1993
4 Generated models and the omega-rule: the nondeterministic case – \Delta M Walicki, S Meldal Walicki, M, S Meldal - 1995
3 A logic for nondeterministic specifications. [to appear in "Essays Dedicated to the Memory of H.Rasiowa – M Bialasik, B Konikowska - 1996
2 A relational theory of datatypes. [draft available at URL = http://www.win.tue.nl/win/cs/wp/papers/papers.html – C Aarts, R Backhouse, P Hoogendijk, E Voermans, J van der Woude - 1992
2 On the herbrand kleene universe for nondeterministic computations – M Broy - 1984
2 Initial versus terminal algebra semantics for partially defined abstract types – M Broy, M Wirsing - 1981
2 Algebraic Approaches to Nondeterminism \Delta 57 – W Hesselink - 1988
2 Algebraic Systems. Springer. [series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen – A Mal'cev - 1973