Borghuis, Tijn, and Loe Feijs. 2000. A constructive logic for services and information flow in computer networks. The Computer Journal 43(4): 274–289. (Download this article from within or via Rutgers.)

Discuss this paper by editing this page.