Protocols, VLSI, CSP, Petri Nets, Dataflow: Coordination examples using COSPAN.
17 July 1986
COSPAN is a software system used to develop high-level specifications of coordinating systems, analyze their logical and stochastic behavior and automatically generate very efficient C-code implementations from the high-level specification. Implementations are derived through a formal, hierarchical, top/down developmental procedure, under the control of the user. Applications of COSPAN are various. For example, it is used to develop and analyze formal specifications of communication protocols, and then generate C-code implementations directly from the analyzed formal specifications. It may be used in the same way to develop and implement integrated circuits, when the C-code output of COSPAN is used as input to a silicon compiler.