J. W. de Bakker

59 papers A* 11B 5Journal 19Unranked 12
YearRankTypeTitle / Venue / Authors
2000 J jnl
A transition system semantics for the control-driven coordination language MANIFOLD.
Theor. Comput. Sci.
Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
2000 — conf
Fixed Points in Metric Semantics.
MFCSIT
J. W. de Bakker
2000 — conf
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.
MFCSIT
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1999 J jnl
Full Abstractness of a Metric Semantics for Action Refinement.
Fundam. Informaticae
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
1995 — conf
The Three Dimensions of Semantics.
STRICT
J. W. de Bakker
1994 — ed.
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings
REX Workshop
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1994 J jnl
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.
Fundam. Informaticae
J. W. de Bakker, Erik P. de Vink
1994 J jnl
Fully Abstract Denotational Models for Nonuniform Concurrent Languages
Inf. Comput.
Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten
1993 B conf
Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.
MFCS
J. W. de Bakker, Franck van Breugel, Arie de Bruin
1993 J jnl
Rendez-Vous with Metric Semantics.
New Gener. Comput.
J. W. de Bakker, Erik P. de Vink
1993 — ed.
Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings
REX Workshop
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1993 B conf
Topological Models for Higher Ordr Control Flow.
MFPS
J. W. de Bakker, Franck van Breugel
1992 — ed.
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
REX Workshop
J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg
1991 — conf
CCS for OO and LP.
TAPSOFT, Vol.2
J. W. de Bakker, Erik P. de Vink
1991 J jnl
Comparative Semantics for Flow of Control in Logic Programming without Logic
Inf. Comput.
J. W. de Bakker
1991 — ed.
Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings
REX Workshop
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1991 J jnl
Four Domains for Concurrency.
Theor. Comput. Sci.
J. W. de Bakker, J. H. A. Warmerdam
1991 — conf
Rendezvous with Metric Semantics.
PARLE (2)
J. W. de Bakker, Erik P. de Vink
1990 J jnl
Comparative Metric Semantics for Concurrent Prolog.
Theor. Comput. Sci.
J. W. de Bakker, Joost N. Kok
1990 — conf
Metric Pomset Semantics for a Concurrnt Language with Recursion.
Semantics of Systems of Concurrent Processes
J. W. de Bakker, J. H. A. Warmerdam
1990 — ed.
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings
REX Workshop
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1989 — conf
Designing Concurrency Semantics.
IFIP Congress
J. W. de Bakker
1989 — ed.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings
REX Workshop
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1988 J jnl
Metric Semantics for Concurrency.
BIT
J. W. de Bakker, John-Jules Ch. Meyer
1988 J jnl
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.
J. Comput. Syst. Sci.
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1988 — conf
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.
FGCS
J. W. de Bakker, Joost N. Kok
1987 J jnl
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
Theor. Comput. Sci.
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1987 J jnl
Order and Metric in the Stream Semantics of Elemental Concurrency.
Acta Informatica
J. W. de Bakker, John-Jules Ch. Meyer
1987 — ed.
PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings
PARLE
J. W. de Bakker, A. J. Nijman, Philip C. Treleaven
1987 — ed.
PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings
PARLE
J. W. de Bakker, A. J. Nijman, Philip C. Treleaven
1986 — ch.
Contrasting Themes in the Semantics of Imperative Concurrency.
Current Trends in Concurrency
J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1986 — book
Current Trends in Concurrency, Overviews and Tutorials
Current Trends in Concurrency
J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1985 A* conf
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
ICALP
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
1985 A* conf
Towards a Uniform Topological Treatment of Streams and Functions on Streams.
ICALP
J. W. de Bakker, Joost N. Kok
1985 A* conf
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency
STOC
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
1984 J jnl
Linear Time and Branching Time Semantics for Recursion with Merge.
Theor. Comput. Sci.
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
1984 J jnl
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci.
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
1983 — conf
Compactness in Semantics for Merge and Fair Merge.
Logic of Programs
J. W. de Bakker, Jeffery I. Zucker
1983 A* conf
Linear Time and Branching Time Semantics for Recursion with Merge.
ICALP
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
1983 J jnl
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci.
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
1983 A* conf
Processes and a Fair Semantics for the Ada Rendez-Vous.
ICALP
J. W. de Bakker, Jeffery I. Zucker
1982 A* conf
Denotational Semantics of Concurrency
STOC
J. W. de Bakker, Jeffery I. Zucker
1982 J jnl
Processes and the Denotational Semantics of Concurrency
Inf. Control.
J. W. de Bakker, Jeffery I. Zucker
1981 — conf
Correctness of Programs with Function Procedures.
Logic of Programs
J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer
1980 A* ed.
Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings
ICALP
J. W. de Bakker, Jan van Leeuwen
1979 B conf
A Sound and Complete Proof System for Partial Program Correctness.
MFCS
J. W. de Bakker
1977 A* conf
Semantics and Proof Theory of Pascal Procedures.
ICALP
Krzysztof R. Apt, J. W. de Bakker
1977 — conf
Semantics and the Foundations of Program Proving.
IFIP Congress
J. W. de Bakker
1977 B conf
Semantics of Infinite Processes Using Generalized Trees.
MFCS
J. W. de Bakker
1976 B conf
Exercises in Denotational Semantics.
MFCS
Krzysztof R. Apt, J. W. de Bakker
1976 J jnl
Least Fixed Points Revisited.
Theor. Comput. Sci.
J. W. de Bakker
1976 A* conf
Semantics and Termination of Nondeterministic Recursive Programs.
ICALP
J. W. de Bakker
1975 A* conf
Flow of Control in the Proof Theory of Structured Programming
FOCS
J. W. de Bakker
1975 — conf
Least fixed points revisited.
Lambda-Calculus and Computer Science Theory
J. W. de Bakker
1975 J jnl
On the Completeness of the Inductive Assertion Method.
J. Comput. Syst. Sci.
J. W. de Bakker, Lambert G. L. T. Meertens
1972 A* conf
A Calculus for Recursive Program Schemes.
ICALP
J. W. de Bakker, Willem P. de Roever
1971 — ch.
A property of linear conditionals.
Symposium on Semantics of Algorithmic Languages
J. W. de Bakker
1971 — ch.
Axiom systems for simple assignment statements.
Symposium on Semantics of Algorithmic Languages
J. W. de Bakker
1966 J jnl
On AXLE.
Commun. ACM
J. W. de Bakker