Abstract The Oz Programming Model (OPM) is a concurrent programming model subsuming
higher-order functional and object-oriented programming as facets of a general model. This …

We present a design for a distributed programming system, Distributed Oz, that abstracts
away the network. This means that all network operations are invoked implicitly by the …

Development of applications based on constraint programming proceeds in two steps. The
first step is to design a principally working solution. This is followed by the much harder task …

Some of the most difficult questions to answer when designing a distributed application are
related to mobility: what information to transfer between sites and when and how to transfer …

We study a timed concurrent constraint language, called tccp, which is obtained by a natural
timed interpretation of the usual ccp constructs: action-prefixing is interpreted as the next …

13. Implementing Spaces Page 1 13. Implementing Spaces This chapter discusses the
implementation of computation spaces. The implementation of Oz Light is extended by nodes …

This monograph develops techniques for equational reasoning in higher-order logic. Due to
its expressiveness, higher-order logic is used for specification and verification of hardware …

Oz is a multiparadigm language that supports logic programming as one of its major
paradigms. A multiparadigm language is designed to support different programming …

During the last decade object‐oriented programming has grown from marginal influence into
widespread acceptance. During the same period, progress in hardware and networking has …

Professional practice in a mature engineering discipline is based on relevant scientific
theories, usually expressed in the language of mathematics. A mathematical theory of …