Supervisory control of communicating processes

Karen Rudie, W. Murray Wonham. Supervisory control of communicating processes. In Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. pages 243-257, North-Holland, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.