Peter E. Lauer, M. W. Shields, Eike Best. Design & Analysis of Highly Parallel & Distributed Systems. In Dines Bjørner, editor, Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Volume 86 of Lecture Notes in Computer Science, pages 451-503, Springer, 1979.
@inproceedings{LauerSB79, title = {Design & Analysis of Highly Parallel & Distributed Systems}, author = {Peter E. Lauer and M. W. Shields and Eike Best}, year = {1979}, tags = {design science, analysis, e-science, design}, researchr = {https://researchr.org/publication/LauerSB79}, cites = {0}, citedby = {0}, pages = {451-503}, booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings}, editor = {Dines Bjørner}, volume = {86}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10007-5}, }