@inproceedings{aaefefbfd2eb4ea2902d245af4f29b48,
title = "Description and analysis using CIRCAL",
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 I and 8. A full description of the model together with circuit examples is given in “CIRCAL : A Calculus for Circuit Description” [1]",
author = "Milne, {George J.}",
year = "1985",
month = jan,
day = "1",
doi = "10.1007/3-540-16047-7_53",
language = "English",
isbn = "9783540160472",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Berlin",
pages = "293--313",
editor = "W.T. Harwood and M.I. Jackson and B.T. Denvir and M.J. Wray",
booktitle = "The Analysis of Concurrent Systems - Proceeding",
address = "Germany",
note = "Workshop on the Analysis of Concurrent Systems, 1983 ; Conference date: 12-09-1983 Through 16-09-1983",
}