Prev Up Next
Go backward to A.2 Structured Specifications and Views
Go up to A CASL Mark-Up: Quick Reference
Go forward to A.4 Libraries

A.3 Architectural Specifications

\Arch arch \Unit unit \Units units
\Result result \tfun -> \lambda \

CoFI Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com

Prev Up Next