Observability Concepts in Abstract Data Type Specifications

V. Giarratana, F. Gimona, Ugo Montanari. Observability Concepts in Abstract Data Type Specifications. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 576-587, Springer, 1976.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.