Analyzing the behaviour of distributed software architectures: A case study

Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems

Volumn , Issue , 1997, Pages 240-245

  Magee, Jeff ^a   Kramer, Jeff ^a   Giannakopoulou, Dimitra ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS;

ACTIVE BADGE SYSTEMS; COMPOSITIONAL REACHABILITY ANALYSIS (CRA); DISTRIBUTED SOFTWARE ARCHITECTURE; LABELLED TRANSITION SYSTEMS (LTS);

COMPUTER SOFTWARE;

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

References (10)