Deadlock Detection for a Class of Communicating Finite State Machine - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Yao-Tin Yu, Mohamed G. Gouda. Deadlock Detection for a Class of Communicating Finite State Machine. In Carl A. Sunshine, editor, Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. pages 319, North-Holland, 1982.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL