1. Towards a theory of declarative knowledge;Apt,1988
2. Processes and the denotational semantics of concurrency;de Bakker;Inform. and Control,1982
3. Proving concurrent constraint programs correct;de Boer,1993
4. Semantic models for concurrent logic languages;de Boer;Theoret. Comput. Sci.,1991
5. A paradigm for asynchronous communication and its application to concurrent constraint programming;de Boer,1993