Report / Department of Computer Science
Intertable / J.C. van Vliet, J.B. WarmerBounded nondeterminism and the approximation induction principle in process algebra / R.J. van GlabbeekDecidability of bisimulation equivalence for processes generating context-free languages / J.C.M. BaetenUsing the guardian programming paradigm to support database evolution / M.L. Kersten, F.H. SchippersTowards an object-centered database language / M.L. Kersten, F.H. SchippersA syntax definition formalism / J. Heering, P. KlintModularization and reusability in current programming languages / P. KlintASF, an algebraic specification formalism / J.A. Bergstra, J. Heering, P. KlintINFORM: an interactive syntax-directed formulae-editor / S. van Egmond, 3001, J.C. van VlietAnother look at abstraction in process algebra / J.C.M. Baeten, 3001Order and metric in the stream semantics of elemental concurrency / J.W. de Bakker, 3001Atomic multireader register : (detailed abstract) / L.M. Kirousis, 3001, P.M.B. VitanyiIntroduction to dialogue cells / R. van Liere, 3001Display architecture for VLSI-based graphics workstations / P.J.W. ten Hagen, A.A.M. Kuijk, C.G. TrienekensInteractive generation of fractal objects / J.A. KaandorpLocality, communication and interconnect length in multicomputers / P.M.B. VitányiUsing design axioms and topology to model database semantics / A.P.J.M. Siebes, M.L. KerstenSolving reflexive domain equations in a category of complete metric spaces / P. America, J.J.M.M. RuttenA proof rule for process-creation / F.S. de BoerA parser generator for finitely ambiguous context-free grammars / J. RekersParallel graphical output from dialogue cells / P.J.W. ten Hagen, H.J. SchoutenProcess management in a distributed operating system / S.J. MullenderAlgebraic specifications for parametrized data types : the case of minimal computable algebras and parameters with equality / P.H. RodenburgOn effectively labeling plana projections of polyhedra / L.M. KirousisMerge and termination in process algebra / J.C.M. Baeten, R.J. van GlabbeekThe concept of intelligent integrated interactive CAD systems / T. Tomiyama, P.J.W. ten HagenA model for graphical interaction / P.J.W. ten Hagen en R. van LiereRepresenting knowledge in two distinct descriptions: extensional vs. intensional / T. Tomiyama, P.J.W. ten HagenVerification of an algorithm for log-time sorting by square comparison / J.C. Mulder, W.P. WeijlandGeometry and graphics applied to robotics / V. AkmanSteps into a geometer's workbench / V. AkmanACPt : a universal axiom system for process specification / J.A. Bergstra, J.W. KlopA fully abstract semantics for data flow nets / J.N. KokAn Amoeba replicated service organisation / I. ShizgalAtomic multireader register / L.M. Kirousis, E. Kranakis, P.M.B. VitanyiAbstraction and empty process in process algebra / J.C.M. Baeten, R.J. van GlabbeekOrganization of design knowledge in an intelligent CAD environment / T. Tomiyama, P.J.W. ten HagenOn proving register atomicity / B. Awerbuch ... [et al.]An integrated data description language for coding design knowledge / B. VethLogical input devices and interaction / R. van Liere, P.J.W. ten Hagen
isPartOf
mainEntity
Report / Department of Computer Science
author
inLanguage
issn
mainEntityOfPage
name
publication
sameAs
label
Report / Department of Computer Science