Efficient Logic Variables for Distributed Computing
(pdf)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
ACM Transactions on Programming Languages and Systems
The Oz Virtual Machine - Records, Transients, and Deep Guards
(pdf)
Michael Mehl
PhD Thesis, Technische Fakultät der Universität des Saarlandes
Futures and By-need Synchronization
(pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report, DRAFT
Mobile Objects in Distributed Oz
(pdf)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
ACM Transactions on Programming Languages and Systems
Integrating Efficient Records into Concurrent Constraint Programming
(pdf)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
International Symposium on Programming Languages, Implementations, Logics, and Programs
An Abstract Machine for Oz
(pdf)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
Technical Report, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands
Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten
(pdf)
Michael Mehl
Technical Report, Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991. In German.
Short Version \em Retrieval in Case-Based Reasoning using
preferred subtheories appeared in G. Brewka, K. P. Jantke