The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with SIGSOFT '95 Washington, D. C.. USA
BibTeX
@inproceedings{Cheung-Kramer:FSE95,
author = {Shing{-}Chi Cheung and
Jeff Kramer},
title = {Compositional Reachability Analysis of {Finite-State} Distributed Systems with {User-Specified} Constraints},
booktitle = {FSE},
pages = {140--150},
publisher = {{ACM}},
year = {1995},
}
