Construction of Asynchronous Concurrent Systems from their Behavioral Specifications

Zebo Peng. Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. In IFIP Congress. pages 859-864, 1986.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.