Media type: E-Article Title: A proof technique for communicating sequential processes Contributor: Levin, Gary Marc; Gries, David Published: Springer Science and Business Media LLC, 1981 Published in: Acta Informatica, 15 (1981) 3, Seite 281-302 Language: English DOI: 10.1007/bf00289266 ISSN: 0001-5903; 1432-0525 Keywords: Computer Networks and Communications ; Information Systems ; Software Origination: Footnote: