M. W. Shields, Peter E. Lauer. A Formal Semantics for Concurrent Systems. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 571-584, Springer, 1979.
@inproceedings{ShieldsL79,
title = {A Formal Semantics for Concurrent Systems},
author = {M. W. Shields and Peter E. Lauer},
year = {1979},
tags = {semantics, formal semantics, e-science},
researchr = {https://researchr.org/publication/ShieldsL79},
cites = {0},
citedby = {0},
pages = {571-584},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings},
editor = {Hermann A. Maurer},
volume = {71},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09510-1},
}