Description and analysis using CIRCAL
The following introduction to the CIRCAL model is taken from "A Model for Hardware Description and Verification"  where CIRCAL is proposed as a circuit description and analysis model. It can equally well be used to model software systems or systems of hard and soft components, as illustrated by its use in modelling problems 1 and 8. A full description of the model together with circuit examples is given in "CIRCAL : A Calculus for Circuit Description" .
Unable to display preview. Download preview PDF.
- G. Milne, "CIRCAL: A Calculus for Circuit Description", INTEGRATION Vol.1, Nos.2 and 3, North-Holland, 1983.Google Scholar
- G. Milne, "Abstraction and Nondeterminism in Concurrent Systems", Proc. 3rd Int. Conf. on Distributed Systems, Florida, IEEE Computer Society Press, 1982.Google Scholar
- G. Milne, "A Model for Hardware Description and Verification", Proc. 21st Design Automation Conference, Albuquerque, N.M. (IEEE Computer Society Press) 1984.Google Scholar
- G. Milne, "CIRCAL and the Representation of Communication, Concurrency and Time", Report CSR-151-83, Dept. of Computer Science, University of Edinburgh, 1983. (to appear in ACM TOPLAS).Google Scholar