Specifying concurrent objects

Bernd J. Krämer. Specifying concurrent objects. SIGPLAN Notices, 24(4):162-164, 1989. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.