J. W. de Bakker

According to our database, J. W. de Bakker authored at least 54 papers between 1966 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

A transition system semantics for the control-driven coordination language MANIFOLD.

Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro

Theor. Comput. Sci., 2000

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Fixed Points in Metric Semantics.

J. W. de Bakker

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

From Banach to Milner: metric semantics for second order communication and concurrency.

Jaco de Bakker, Franck van Breugel

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Full Abstractness of a Metric Semantics for Action Refinement.

Jerry den Hartog, Erik P. de Vink, J. W. de Bakker

Fundam. Informaticae, 1999

1996

Control flow semantics.

Jacobus W. de Bakker, Erik P. de Vink

MIT Press, ISBN: 978-0-262-04154-6, 1996

1995

The Three Dimensions of Semantics.

J. W. de Bakker

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994

Fully Abstract Denotational Models for Nonuniform Concurrent Languages

Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten

Inf. Comput., November, 1994

Bisimulation Semantics for Concurrency with Atomicity and Action Refinement.

J. W. de Bakker, Erik P. de Vink

Fundam. Informaticae, 1994

1993

Rendez-Vous with Metric Semantics.

J. W. de Bakker, Erik P. de Vink

New Gener. Comput., 1993

Topological Models for Higher Ordr Control Flow.

J. W. de Bakker, Franck van Breugel

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.

J. W. de Bakker, Franck van Breugel, Arie de Bruin

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1991

Comparative Semantics for Flow of Control in Logic Programming without Logic

J. W. de Bakker

Inf. Comput., October, 1991

Four Domains for Concurrency.

J. W. de Bakker, J. H. A. Warmerdam

Theor. Comput. Sci., 1991

CCS for OO and LP.

J. W. de Bakker, Erik P. de Vink

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Rendezvous with Metric Semantics.

J. W. de Bakker, Erik P. de Vink

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Comparative Metric Semantics for Concurrent Prolog.

J. W. de Bakker, Joost N. Kok

Theor. Comput. Sci., 1990

Metric Pomset Semantics for a Concurrnt Language with Recursion.

J. W. de Bakker, J. H. A. Warmerdam

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

Denotational Semantics of a Parallel Object-Oriented Language

Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten

Inf. Comput., November, 1989

Designing Concurrency Semantics.

J. W. de Bakker

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Designing Equivalent Semantic Models for Process Creation.

Pierre America, Jaco de Bakker

Theor. Comput. Sci., 1988

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker

J. Comput. Syst. Sci., 1988

Metric Semantics for Concurrency.

J. W. de Bakker, John-Jules Ch. Meyer

BIT, 1988

Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.

J. W. de Bakker, Joost N. Kok

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog

Theor. Comput. Sci., 1987

Order and Metric in the Stream Semantics of Elemental Concurrency.

J. W. de Bakker, John-Jules Ch. Meyer

Acta Informatica, 1987

1986

Operational Semantics of a Parallel Object-Oriented Language.

Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Designing Equvialent Semantic Models for Process Creation.

Pierre America, Jaco de Bakker

Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986

Contrasting Themes in the Semantics of Imperative Concurrency.

J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985

Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency

J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Towards a Uniform Topological Treatment of Streams and Functions on Streams.

J. W. de Bakker, Joost N. Kok

Proceedings of the Automata, 1985

1984

Linear Time and Branching Time Semantics for Recursion with Merge.

J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer

Theor. Comput. Sci., 1984

1983

On Infinite Computations in Denotational Semantics.

J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker

Theor. Comput. Sci., 1983

Compactness in Semantics for Merge and Fair Merge.

J. W. de Bakker, Jeffery I. Zucker

Proceedings of the Logics of Programs, 1983

Processes and a Fair Semantics for the Ada Rendez-Vous.

J. W. de Bakker, Jeffery I. Zucker

Proceedings of the Automata, 1983

1982

Processes and the Denotational Semantics of Concurrency

J. W. de Bakker, Jeffery I. Zucker

Inf. Control., 1982

Denotational Semantics of Concurrency

J. W. de Bakker, Jeffery I. Zucker

Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

Session Discussion.

Jaco de Bakker

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Correctness of Programs with Function Procedures.

J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1980

Mathematical theory of program correctness.

Jacobus W. de Bakker, Arie de Bruin, Jeffrey Zucker

Prentice-Hall international series in computer science, Prentice Hall, ISBN: 978-0-13-562132-5, 1980

1979

A Sound and Complete Proof System for Partial Program Correctness.

J. W. de Bakker

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

1977

Semantics of Infinite Processes Using Generalized Trees.

J. W. de Bakker

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Recursive Programs as Predicate Transformers.

Jaco de Bakker

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

Semantics and the Foundations of Program Proving.

J. W. de Bakker

Proceedings of the Information Processing, 1977

Semantics and Proof Theory of Pascal Procedures.

Krzysztof R. Apt, J. W. de Bakker

Proceedings of the Automata, 1977

1976

Least Fixed Points Revisited.

J. W. de Bakker

Theor. Comput. Sci., 1976

Exercises in Denotational Semantics.

Krzysztof R. Apt, J. W. de Bakker

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

Semantics and Termination of Nondeterministic Recursive Programs.

J. W. de Bakker

Proceedings of the Third International Colloquium on Automata, 1976

1975

On the Completeness of the Inductive Assertion Method.

J. W. de Bakker, Lambert G. L. T. Meertens

J. Comput. Syst. Sci., 1975

Flow of Control in the Proof Theory of Structured Programming

J. W. de Bakker

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1972

A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever

Proceedings of the Automata, 1972

1971

A property of linear conditionals.

J. W. de Bakker

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Axiom systems for simple assignment statements.

J. W. de Bakker

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

1966

On AXLE.

J. W. de Bakker

Commun. ACM, 1966