Abstract
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].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Milne, "CIRCAL: A Calculus for Circuit Description", INTEGRATION Vol.1, Nos.2 and 3, North-Holland, 1983.
G. Milne, "Abstraction and Nondeterminism in Concurrent Systems", Proc. 3rd Int. Conf. on Distributed Systems, Florida, IEEE Computer Society Press, 1982.
G. Milne, "A Model for Hardware Description and Verification", Proc. 21st Design Automation Conference, Albuquerque, N.M. (IEEE Computer Society Press) 1984.
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).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milne, G.J. (1985). Description and analysis using CIRCAL. In: Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (eds) The Analysis of Concurrent Systems. Lecture Notes in Computer Science, vol 207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16047-7_53
Download citation
DOI: https://doi.org/10.1007/3-540-16047-7_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16047-2
Online ISBN: 978-3-540-39731-1
eBook Packages: Springer Book Archive