Description and analysis using CIRCAL

Research output: Chapter in Book/Conference paperConference paper

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]

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
Pages293-313
Number of pages21
ISBN (Print)9783540160472
DOIs
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

Conference

ConferenceWorkshop on the Analysis of Concurrent Systems, 1983
CountryUnited Kingdom
CityCambridge
Period12/09/8316/09/83

Fingerprint

Networks (circuits)
Model Analysis
Model
Software System
Calculus
Hardware
Modeling

Cite this

Milne, G. J. (1985). Description and analysis using CIRCAL. In W. T. Harwood, M. I. Jackson, B. T. Denvir, & M. J. Wray (Eds.), The Analysis of Concurrent Systems - Proceeding (pp. 293-313). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 207 LNCS). Springer-Verlag Berlin. https://doi.org/10.1007/3-540-16047-7_53
Milne, George J. / Description and analysis using CIRCAL. The Analysis of Concurrent Systems - Proceeding. editor / W.T. Harwood ; M.I. Jackson ; B.T. Denvir ; M.J. Wray. Springer-Verlag Berlin, 1985. pp. 293-313 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@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 = "1",
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",

}

Milne, GJ 1985, Description and analysis using CIRCAL. in WT Harwood, MI Jackson, BT Denvir & MJ Wray (eds), The Analysis of Concurrent Systems - Proceeding. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 207 LNCS, Springer-Verlag Berlin, pp. 293-313, Workshop on the Analysis of Concurrent Systems, 1983, Cambridge, United Kingdom, 12/09/83. https://doi.org/10.1007/3-540-16047-7_53

Description and analysis using CIRCAL. / Milne, George J.

The Analysis of Concurrent Systems - Proceeding. ed. / W.T. Harwood; M.I. Jackson; B.T. Denvir; M.J. Wray. Springer-Verlag Berlin, 1985. p. 293-313 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 207 LNCS).

Research output: Chapter in Book/Conference paperConference paper

TY - GEN

T1 - Description and analysis using CIRCAL

AU - Milne, George J.

PY - 1985/1/1

Y1 - 1985/1/1

N2 - 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]

AB - 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]

UR - http://www.scopus.com/inward/record.url?scp=85035314410&partnerID=8YFLogxK

U2 - 10.1007/3-540-16047-7_53

DO - 10.1007/3-540-16047-7_53

M3 - Conference paper

SN - 9783540160472

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 293

EP - 313

BT - The Analysis of Concurrent Systems - Proceeding

A2 - Harwood, W.T.

A2 - Jackson, M.I.

A2 - Denvir, B.T.

A2 - Wray, M.J.

PB - Springer-Verlag Berlin

ER -

Milne GJ. Description and analysis using CIRCAL. In Harwood WT, Jackson MI, Denvir BT, Wray MJ, editors, The Analysis of Concurrent Systems - Proceeding. Springer-Verlag Berlin. 1985. p. 293-313. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-16047-7_53