Stichting Mathematisch Centrum (Amsterdam). Afdeling Informatica

A critical comparison of several implementations of programming languages / H. J. Boom & E. de Jongschema:ProductModel A Digiset simulator / [by] P. ten Hagen and H. Nootschema:ProductModel A formal model for data flow programs with token coloring / A.H. Veenschema:ProductModel A formalized proof system for total correctness of while programs / J.A. Bergstra & J.W. Klopschema:ProductModel A note on non-generators of full AFL's / P.R.J. Asveld & J. Engelfrietschema:ProductModel A process algebra for the operational semantics of static data flow networks / J.A. Bergstra & J.W. Klopschema:ProductModel A proof rule for restoring logic circuits / J.A. Bergstra & J.W. Klopschema:ProductModel A proposal for the translation of Janus into Standard Fortran / E. de Jongschema:ProductModel A space-saving technique for assigning ALGOL 68 multiple values / L.G.L.T. Meertensschema:ProductModel A survey of asynchronous 1/0 techniques for Unix / D.S.H. Rosenthalschema:ProductModel A survey of three language-independent programming environments / P. Klintschema:ProductModel A view of coroutines / D. Gruneschema:ProductModel A W-grammar of ALEPH / R. Glandorf, D. Grune & J. Verharenschema:ProductModel ALEPH manual / [by] D. Grune, R. Bosch and L. G. L. T. Meertensschema:ProductModel Algebraic specifications for parametrized data types with minimal parameter and target algebras / J.A. Bergstra & J.W. Klopschema:ProductModel Algebraic tools for system construction / J.A. Bergstra, J.W. Klop & J.V. Tuckerschema:ProductModel Algol 68+ : a superlanguage of Algol 68 for processing the standard-prelude / L.G.L.T. Meertens & J.C. van Vlietschema:ProductModel An abstraction mechanism for process algebras / J.A. Bergstra, J.W. Klopschema:ProductModel An algebraic specification method for processes over a finite action set / J.A. Bergstra, J.W. Klopschema:ProductModel An N1.618 lower bound on the time to simulate one queue or two pushdown stores by one tape / P.M.B. Vitányischema:ProductModel ... show all 112

Abstract storage structures / H.B.M. Jonkersschema:ProductModel Designing a machine independent storage management system / H.B.M. Jonkersschema:ProductModel Growth functions associated with biological development / [by] G.T. Herman and P.M.B. Vitányischema:ProductModel Linear time and branching time semantics for recursion with merge / J.W. de Bakker ... [et al.]schema:ProductModel Processes and a fair semantics for the ADA rendez-vous / J.W. de Bakker & J.I. Zuckerschema:ProductModel Symposium Data flow computing : new developments in supercomputer architecture, thursday June 2, 1983, transitorium I, De Uithof, Utrecht, The Netherlandsschema:ProductModel

Centrum voor Wiskunde en Informatica (Amsterdam). Department of Computer Scienceschema:Organization