@inproceedings{ZhuL99:0,
  title = {Compositional Software Synthesis of Communicating Processes},
  author = {Xiaohan Zhu and Bill Lin},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/iccd/1999/0406/00/04060646abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/ZhuL99%3A0},
  cites = {0},
  citedby = {0},
  pages = {646-651},
  booktitle = {ICCD},
}