J. W. de Bakker
- J. W. de Bakker and J. I. Zucker. Processes and the denotational
semantics of concurrency. Information and Control,
54(1/2):70-120, July/August 1982.
References
and Citations.
- Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Denotational semantics of a
parallel object-oriented language. Information and
Computation, 83(2):152-205, November 1989.
References
and Citations.
- J. W. de Bakker. Comparative semantics for flow of
control in logic programming without logic. Information and
Computation, 94(2):123-179, October 1991.
References
and Citations.
- Eiichi Horita, J. W. de Bakker, and J. J. M. M. Rutten. Fully abstract denotational models
for nonuniform concurrent languages. Information and
Computation, 115(1):125-178, 15 November 1994.
References
and Citations.
Shortcuts: