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 Dive into the research topics of 'CIRCAL and the Representation of Communication, Concurrency, and Time'. Together they form a unique fingerprint.

Cite this