|
196
|
A powerdomain construction
– G. D. Plotkin
- 1976
|
|
76
|
Power Domains
– M 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
|
On the advantages of free choice
– D Lehmann, M Rabin
- 1981
|
|
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
|
