机译:Assembling components with behavioural contracts
Department of Telematics, Norwegian University of Science and Technology, O.S. Bragstads plass 2B, N-7491 Trondheim, Norway;
system design; component; distributed system; peer to peer networking; client-server architecture; software engineering; type theory; formal language; compatibility; bank institution;