| of the domain equation D = P([D! D]?). We derive from the algebras of P the logic (2007) | |||||||||||||||||
Abstract | |||||||||||||||||
| Abstract. To model at the same time parallel and non-deterministic functional calculi we define a powerdomain functor P such that it is an endofunctor over the category of algebraic lattices. P is locally continuous and we study the initial solution D 1 | |||||||||||||||||
Details der Publikation | |||||||||||||||||
| |||||||||||||||||