J. W. deBakker

Comparative semantics for flow of control in logic programming without logic

J. W. deBakker, 1988 .

Comparative semantics for linear arrays of communicating processes

J. W. deBakker, A. deBruin, F. vanBreugel, 1993 .

Bisimulation semantics for concurrency with atomicity and action refinement

J. W. deBakker, E. P. deVink, 1992 .

Designing concurrency semantics

J. W. deBakker, 1989 .

Control flow semantics

J. W. deBakker, E. P. deVink, 1996 .

Preface: Current Trents in logic programming languages (1993)

J. W. deBakker, K. R. Apt, J.J.M.M. Rutten, 1993 .