1992 | OriginalPaper | Buchkapitel
COSY Applications
verfasst von : Prof. Dr. Ryszard Janicki, Prof. Dr. Peter E. Lauer
Erschienen in: Specification and Analysis of Concurrent Systems
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This chapter is devoted to various applications of the COSY theory and techniques. In general we can find two classes of applications. The first kind is the application of COSY, its theory and techniques to specify and/or prove properties of some realistic non-sequential systems or their parts. In fact, we already used COSY in Chap. 2 and 3 to analyse specifications of a linereader-lineprinter system, a specification mechanism for controlling access to a critical section, a mechanism regulating the use of a critical section by processes with differing priorities, and a reader-writer system.