Modelling Shared State in a Shared Action Model

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.