Go backward to 8.2.1 Unit Types
Go up to 8.2 Unit Specifications
Go forward to 8.2.3 Closed Unit Specifications
8.2.2 Architectural Unit Specifications
An architectural specification ARCH-SPEC in a unit
specification is written:
arch spec ASP
A unit satisfies `arch spec ASP' when it is the result unit
of some model of ASP.
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk