Formalizing a design technique for distributed programs

International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings

Volumn , Issue , 1997, Pages 150-159

  Polman, Mark ^a   van Steen, Maarten ^a   de Bruin, Arie ^a  

^a ERASMUS UNIVERSITY ROTTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; FEEDBACK;

FORMAL SEMANTICS; GRAPHICAL DESIGN TECHNIQUES;

PARALLEL PROCESSING SYSTEMS;

EID: 0030703972     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)