Informatica rapport / Wiskundig Seminarium der Vrije Universiteit
Formalizing events and their effects using logic / F.P.M. DignumA sound and complete logic for deontic reasoning / J.-J. Ch. MeyerReliability issues in distributed operating systems / Andrew S. Tanenbaum, Robbert van RenesseMinix: a unix clone with source code / Andrew S. TanenbaumConnecting RPC-based distributed systems using wide-area networks / Robbert van Renesse, Andrew S. Tanenbaum, Hans van Staveren, Jane HallWide-area communication under Amoeba / Robbert van Renesse, Hans van StaverenOrder and metric in the stream semantics of elemental concurrency / J.W. de Bakker, J.-J. Ch. MeyerA set of multi-process primitives for stack based machines / Kees Bot, Edwin SchefferUsing user models and automatic expertise aquisition in data base interactions / A.M. BotmanAn overview of the conceptual language KOTO / Hans WeigandA programmer-friendly LL(1) parser generator / Dick Grune, Ceriel J.H. JacobsTerm rewriting systems : a tutorial / Jan Willem KlopHiding in stream semantics of uniform concurrency / J.-J. Ch. Meyer, E.-R. OlderogStrongly sequential term rewriting systems / Jan Willem Klop, Aart MiddeldorpMachine intelligence and explication / R. WieringaInteractive editing of mathematical formulae / S. van Egmond, F.C. Heeman, J.C. van VlietFree choice permissions and Ross's paradox : internal vs external nondeterminism / J.-J. Ch. MeyerAxiomatic specification of database domain statics / R.J. WieringaAlgebraic specification of database domain dynamics / R. WieringaKnuth-Bendix completions of process algebra axiomatizations / G.J. AkkermanIncremental parsing in INFORM / Frans C. HeemanConstraint management in knowledge bases / H. WeigandMetric semantics for concurrency / J.W. de Bakker, J.-J. Ch. MeyerDenotational semantics for 'true' concurrency / J.-J. Ch. Meyer, E.P. de VinkMANDIS/Amoeba: a widely dispersed object-oriented operating system / R. van Renesse ... [et al.]Voting with ghosts / R. van Renesse, A.S. TanenbaumThe design of a window system for Amoeba / G.J. SharpActive information retrieval / A.J. Kok, A.M. BotmanOrca: a language for distributed object-based programming / H.E. Bal, A.S. TanenbaumThe performance of the Amoeba distributed operating system / R. van Renesse, H. van Staveren A.S. TanenbaumDesign and implementation of parallel make / E.H. BaalbergenJackson system development analysed in process algebra / R. WieringaDistributed programming with shared data / H.E. Bal, A.S. TanenbaumEquivalence of an operational and a denotational semantics for a Prolog-like language with Cut / E.P. de VinkA sufficient condition for the termination of the direct sum of term rewriting systems / Aart MiddeldorpKan software langer mee? / K. Sikkel, J.C. van VlietProgramming languages for distributed systems / H.E. Bal, J.G. Steiner, A.S. TanenbaumThe Amsterdam knowledge base system ADAM / R.P. van de Riet, E.G. KeizerModality in information systems : a layered approach / H. Weigand, R.P. van de RietMonitoring in distributed client-server environments / G.D. Drenth ... [et al.]
isPartOf
mainEntity
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit
author
contributor
description
Later uitg. onder verantwoorde ...... ivisie Wiskunde en Informatica
inLanguage
mainEntityOfPage
name
Informatica rapport
publication
sameAs
label
Informatica rapport / Wiskundig Seminarium der Vrije Universiteit