Description and analysis using CIRCAL

Research output: Chapter in Book/Conference paperConference paperpeer-review


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]

Original languageEnglish
Title of host publicationThe Analysis of Concurrent Systems - Proceeding
EditorsW.T. Harwood, M.I. Jackson, B.T. Denvir, M.J. Wray
PublisherSpringer-Verlag Berlin
Number of pages21
ISBN (Print)9783540160472
Publication statusPublished - 1 Jan 1985
Externally publishedYes
EventWorkshop on the Analysis of Concurrent Systems, 1983 - Cambridge, United Kingdom
Duration: 12 Sep 198316 Sep 1983

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume207 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceWorkshop on the Analysis of Concurrent Systems, 1983
Country/TerritoryUnited Kingdom


Dive into the research topics of 'Description and analysis using CIRCAL'. Together they form a unique fingerprint.

Cite this