Concurrency Model and Its Application to Formal Protocol Specifications

Myungchul Kim, Samuel T. Chanson, Son T. Vuong. Concurrency Model and Its Application to Formal Protocol Specifications. In INFOCOM. pages 766-773, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.