@inproceedings{BrSt:87,
  author = {M. Broy and T. Streicher},
  publisher = {Springer},
  pages = {114-143},
  title = {Views of distributed systems.},
  booktitle = {Mathematical models for the semantics of parallelism},
  year = {1987},
  volume = {280},
  series = {Lecture Notes in Computer Science},
}