J. W. de Bakker

Publication Activity (10 Years)

Years Active: 1966-2000
Publications (10 Years): 0

Publications

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electron. Notes Theor. Comput. Sci. 40 (2000)
Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240 (1) (2000)
J. W. de Bakker
Fixed Points in Metric Semantics. Electron. Notes Theor. Comput. Sci. 40 (2000)
Jerry den Hartog, Erik P. de Vink, J. W. de Bakker
Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Informaticae 40 (4) (1999)
J. W. de Bakker
The Three Dimensions of Semantics. STRICT (1995)
Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten
Fully Abstract Denotational Models for Nonuniform Concurrent Languages Inf. Comput. 115 (1) (1994)
J. W. de Bakker, Erik P. de Vink
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Informaticae 20 (1/2/3) (1994)
J. W. de Bakker, Erik P. de Vink
Rendez-Vous with Metric Semantics. New Gener. Comput. 12 (1) (1993)
J. W. de Bakker, Franck van Breugel, Arie de Bruin
Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. MFCS (1993)
J. W. de Bakker, Franck van Breugel
Topological Models for Higher Ordr Control Flow. MFPS (1993)
J. W. de Bakker
Comparative Semantics for Flow of Control in Logic Programming without Logic Inf. Comput. 94 (2) (1991)
J. W. de Bakker, Erik P. de Vink
CCS for OO and LP. TAPSOFT, Vol.2 (1991)
J. W. de Bakker, Erik P. de Vink
Rendezvous with Metric Semantics. PARLE (2) (1991)
J. W. de Bakker, J. H. A. Warmerdam
Four Domains for Concurrency. Theor. Comput. Sci. 90 (1) (1991)
J. W. de Bakker, Joost N. Kok
Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75 (1&2) (1990)
J. W. de Bakker, J. H. A. Warmerdam
Metric Pomset Semantics for a Concurrnt Language with Recursion. Semantics of Systems of Concurrent Processes (1990)
J. W. de Bakker
Designing Concurrency Semantics. IFIP Congress (1989)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. J. Comput. Syst. Sci. 36 (2) (1988)
J. W. de Bakker, Joost N. Kok
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS (1988)
J. W. de Bakker, John-Jules Ch. Meyer
Metric Semantics for Concurrency. BIT 28 (3) (1988)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. Theor. Comput. Sci. 49 (1987)
J. W. de Bakker, John-Jules Ch. Meyer
Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica 24 (5) (1987)
J. W. de Bakker, Joost N. Kok
Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP (1985)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ICALP (1985)
J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency STOC (1985)
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29 (1984)
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
Linear Time and Branching Time Semantics for Recursion with Merge. Theor. Comput. Sci. 34 (1984)
J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
Linear Time and Branching Time Semantics for Recursion with Merge. ICALP (1983)
J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26 (1983)
J. W. de Bakker, Jeffery I. Zucker
Compactness in Semantics for Merge and Fair Merge. Logic of Programs (1983)
J. W. de Bakker, Jeffery I. Zucker
Processes and a Fair Semantics for the Ada Rendez-Vous. ICALP (1983)
J. W. de Bakker, Jeffery I. Zucker
Denotational Semantics of Concurrency STOC (1982)
J. W. de Bakker, Jeffery I. Zucker
Processes and the Denotational Semantics of Concurrency Inf. Control. 54 (1/2) (1982)
J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer
Correctness of Programs with Function Procedures. Logic of Programs (1981)
J. W. de Bakker
A Sound and Complete Proof System for Partial Program Correctness. MFCS (1979)
J. W. de Bakker
Semantics and the Foundations of Program Proving. IFIP Congress (1977)
Krzysztof R. Apt, J. W. de Bakker
Semantics and Proof Theory of Pascal Procedures. ICALP (1977)
J. W. de Bakker
Semantics of Infinite Processes Using Generalized Trees. MFCS (1977)
Krzysztof R. Apt, J. W. de Bakker
Exercises in Denotational Semantics. MFCS (1976)
J. W. de Bakker
Semantics and Termination of Nondeterministic Recursive Programs. ICALP (1976)
J. W. de Bakker
Least Fixed Points Revisited. Theor. Comput. Sci. 2 (2) (1976)
J. W. de Bakker
Flow of Control in the Proof Theory of Structured Programming FOCS (1975)
J. W. de Bakker
Least fixed points revisited. Lambda-Calculus and Computer Science Theory (1975)
J. W. de Bakker, Lambert G. L. T. Meertens
On the Completeness of the Inductive Assertion Method. J. Comput. Syst. Sci. 11 (3) (1975)
J. W. de Bakker, Willem P. de Roever
A Calculus for Recursive Program Schemes. ICALP (1972)
J. W. de Bakker
On AXLE. Commun. ACM 9 (4) (1966)