Description and analysis using CIRCAL

  • George J. Milne
4. Solutions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)


The following introduction to the CIRCAL model is taken from "A Model for Hardware Description and Verification" [3] 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" [1].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Milne, "CIRCAL: A Calculus for Circuit Description", INTEGRATION Vol.1, Nos.2 and 3, North-Holland, 1983.Google Scholar
  2. [2]
    G. Milne, "Abstraction and Nondeterminism in Concurrent Systems", Proc. 3rd Int. Conf. on Distributed Systems, Florida, IEEE Computer Society Press, 1982.Google Scholar
  3. [3]
    G. Milne, "A Model for Hardware Description and Verification", Proc. 21st Design Automation Conference, Albuquerque, N.M. (IEEE Computer Society Press) 1984.Google Scholar
  4. [4]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • George J. Milne
    • 1
  1. 1.Department of Computer ScienceUniversity of EdinburghEdinburgh

Personalised recommendations