CIRCAL and the Representation of Communication, Concurrency, and Time

Research output: Contribution to journalArticle

84 Citations (Scopus)

Abstract

The CIRCAL calculus is presented as a mathematical framework in which to describe and analyze concurrent systems, whether hardware or software. The dot operator is used to compose CIRCAL descriptions, and it is this operator which permits the natural modeling of asynchronous and simultaneous behavior, thus allowing the representation and analysis of system timing properties such as those found in circuits. The CIRCAL framework uses an abstraction operator to permit the modeling of a system at different levels of detail. Behavioral complexity of real systems makes abstraction crucial when producing a tractable model, and we illustrate how abstraction introduces nondeterminisim into system representations. An operational semantics, acceptance semantics, is introduced, and it is in terms of this active experimentation that meaning is given to the CIRCAL syntax, thus allowing proof of system properties to be constructed.

Original languageEnglish
Pages (from-to)270-298
Number of pages29
JournalACM Transactions on Programming Languages and Systems (TOPLAS)
Volume7
Issue number2
DOIs
Publication statusPublished - 1 Apr 1985
Externally publishedYes

Fingerprint

Semantics
Communication
Hardware
Networks (circuits)

Cite this

@article{70c11da44e364d2a9cca0161a26f740d,
title = "CIRCAL and the Representation of Communication, Concurrency, and Time",
abstract = "The CIRCAL calculus is presented as a mathematical framework in which to describe and analyze concurrent systems, whether hardware or software. The dot operator is used to compose CIRCAL descriptions, and it is this operator which permits the natural modeling of asynchronous and simultaneous behavior, thus allowing the representation and analysis of system timing properties such as those found in circuits. The CIRCAL framework uses an abstraction operator to permit the modeling of a system at different levels of detail. Behavioral complexity of real systems makes abstraction crucial when producing a tractable model, and we illustrate how abstraction introduces nondeterminisim into system representations. An operational semantics, acceptance semantics, is introduced, and it is in terms of this active experimentation that meaning is given to the CIRCAL syntax, thus allowing proof of system properties to be constructed.",
author = "Milne, {George J.}",
year = "1985",
month = "4",
day = "1",
doi = "10.1145/3318.3322",
language = "English",
volume = "7",
pages = "270--298",
journal = "ACM Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

CIRCAL and the Representation of Communication, Concurrency, and Time. / Milne, George J.

In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 7, No. 2, 01.04.1985, p. 270-298.

Research output: Contribution to journalArticle

TY - JOUR

T1 - CIRCAL and the Representation of Communication, Concurrency, and Time

AU - Milne, George J.

PY - 1985/4/1

Y1 - 1985/4/1

N2 - The CIRCAL calculus is presented as a mathematical framework in which to describe and analyze concurrent systems, whether hardware or software. The dot operator is used to compose CIRCAL descriptions, and it is this operator which permits the natural modeling of asynchronous and simultaneous behavior, thus allowing the representation and analysis of system timing properties such as those found in circuits. The CIRCAL framework uses an abstraction operator to permit the modeling of a system at different levels of detail. Behavioral complexity of real systems makes abstraction crucial when producing a tractable model, and we illustrate how abstraction introduces nondeterminisim into system representations. An operational semantics, acceptance semantics, is introduced, and it is in terms of this active experimentation that meaning is given to the CIRCAL syntax, thus allowing proof of system properties to be constructed.

AB - The CIRCAL calculus is presented as a mathematical framework in which to describe and analyze concurrent systems, whether hardware or software. The dot operator is used to compose CIRCAL descriptions, and it is this operator which permits the natural modeling of asynchronous and simultaneous behavior, thus allowing the representation and analysis of system timing properties such as those found in circuits. The CIRCAL framework uses an abstraction operator to permit the modeling of a system at different levels of detail. Behavioral complexity of real systems makes abstraction crucial when producing a tractable model, and we illustrate how abstraction introduces nondeterminisim into system representations. An operational semantics, acceptance semantics, is introduced, and it is in terms of this active experimentation that meaning is given to the CIRCAL syntax, thus allowing proof of system properties to be constructed.

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

U2 - 10.1145/3318.3322

DO - 10.1145/3318.3322

M3 - Article

VL - 7

SP - 270

EP - 298

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 2

ER -