Conference
INTERPRETED COSY PROGRAMS: PROGRAMMING AND VERIFICATION.
Abstract
The use of the COSY notation in the design, description, and analysis of asynchronous systems is illustrated. A series of ten simple examples serves as a guide to programming in the notation and indicates how our formal notion of congreable behavior aids in comprehending COSY programs. A summary of the notation and its formal semantics, followed by the statement and analysis of a mechanism for granting safe concurrent access to reuseable …
Authors
Lauer PE; Shields MW
Pagination
pp. 137-148
Publication Date
January 1, 1981
Conference proceedings
Proceedings of International Wire and Cable Symposium