Bakker, J.W. de (Jacobus Willem), 1939-
Bakker, Jacobus Willem de, 1939-....
Bakker, Jacobus Willem de
Bakker, Jacobus W. de 1939-2012
Bakker, J. W. de
Bakker, J. W. de (1939-2012).
Bakker, J. W. de (Jacobus Willem de), 1939-
De Bakker, Jacobus Willem
Jaco de Bakker Nederlands informaticus (1939-2012)
VIAF ID: 95095 ( Personal )
Permalink: http://viaf.org/viaf/95095
Preferred Forms
-
- 200 _ | ‡a Bakker ‡b Jacobus Willem de ‡f 1939-....
-
-
-
-
-
- 100 1 _ ‡a Bakker, J. W. de ‡q (Jacobus Willem), ‡d 1939-
-
-
- 100 1 _ ‡a Bakker, Jacobus W. de ‡d 1939-2012
- 100 1 _ ‡a Bakker, Jacobus W. de ‡d 1939-2012
-
- 100 1 _ ‡a Bakker, Jacobus Willem de
- 100 1 _ ‡a Bakker, Jacobus Willem de, ‡d 1939-....
-
- 100 0 _ ‡a Jaco de Bakker ‡c Nederlands informaticus (1939-2012)
4xx's: Alternate Name Forms (42)
5xx's: Related Names (10)
- 551 _ _ ‡a Amsterdam ‡4 orts ‡4 http://d-nb.info/standards/elementset/gnd#placeOfDeath
- 500 1 _ ‡a Bakker, Jaco de
- 510 2 _ ‡a CWI
- 551 _ _ ‡a Ede ‡g Provinz Geldern ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a European Association for Theoretical Computer Science
- 510 2 _ ‡a European Association for Theoretical Computer Science ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a REX Workshop 1992 Beekbergen
- 510 2 _ ‡a Stichting Mathematisch Centrum (Amsterdam)
- 510 2 _ ‡a Theoretical Computer Science
- 510 2 _ ‡a Universiteit van Amsterdam
Works
Title | Sources |
---|---|
Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages | |
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 | |
CCS for OO and LP | |
Colloquium bedrijfssystemen | |
Comparative semantics for linear arrays of communicating processes | |
Control flow semantics | |
Correctness proofs for assignment statements | |
Current trends in concurrency overviews and tutorials | |
CWI tract | |
decade of concurrency reflections and perspectives REX school/Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993, proceedings | |
Derivatives of programs [microvorm] | |
Designing equivalent semantic models for process creation | |
Fixed point semantics and Dijkstra's fundamental invariance theorem | |
Flow of control in the proof theory of structured programming | |
Formal definition of programming languages. With an application to the definition of algol 60. | |
Foundations of computer science II | |
Full abstractness of an interleaving semantics for action refinement | |
Fully abstract denotational models for nonuniform concurrent languages | |
Hewet - plus wiskunde : vacantiecursus 1984. | |
ICALP 80 | |
J.W. de Bakker, 25 jaar semantiek | |
Languages for parallel architectures : design, semantics, implementation models | |
Least fixed points revisited | |
Liber amicorum : Jaco de Bakker | |
Linear time and branching time semantics for recursion with merge | |
Linear time, branching time and partial order in logics and models for concurrency school/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 | |
Logic programming languages : constraints, functions, and objects | |
Mathematical theory of program correctness, c1980: | |
Mathematics and computer science : proceedings of the CWI symposium, November 1983 | |
MC-25 Informatica Symposium; [lectures] | |
Niet met zoveel woorden : over de taal der informatica | |
Oecumene als praktijk en probleem : een vergelijkende sociologische beschouwing van hervormd-gereformeerde verhoudingen in Nieuw-Guinea en Nederland. Ecumenical practice and Church division among Dutch protestants... Door Johannes Bakker,... | |
On convex sublattices of distributive lattices | |
On infinite computations in denotational semantics | |
Order and metric in the stream semantics of elemental concurrency | |
PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings | |
Real time: theory in practice proceedings | |
Recursive procedures | |
Recursive programs as predicate transformers | |
Rendez-vous with metric semantics | |
Semantics and proof theory of PASCAL procedures | |
Semantics Foundations and Applications REX Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings | |
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings | |
Ten years of concurrency semantics selected papers of the Amsterdam concurrency group | |
Termination of nondeterministic programs | |
Topological models for higher order control flow | |
Towards a uniform topological treatment of streams and functions on streams | |
Transition systems, infinitary languages and the semantics of uniform concurrency | |
Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog |