Kenneth J. Goldman, Nancy A. Lynch. Modelling Shared State in a Shared Action Model. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 450-463, IEEE Computer Society, 1990.
@inproceedings{GoldmanL90,
title = {Modelling Shared State in a Shared Action Model},
author = {Kenneth J. Goldman and Nancy A. Lynch},
year = {1990},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/GoldmanL90},
cites = {0},
citedby = {0},
pages = {450-463},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}