Constructive logic for services and information flow in computer networks

Computer Journal

Volumn 43, Issue 4, 2000, Pages 274-289

  Borghuis, Tijn ^a,b   Feijs, Loe ^c  

^a EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT CALCULUS; CONSTRUCTIVE LOGIC;

DATA TRANSFER; INFORMATION SERVICES; THEOREM PROVING; UNIX;

COMPUTER NETWORKS;

EID: 0034501860     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/43.4.274     Document Type: Article

References (9)