Book chapter
Open access

A Guide to Specifying Concurrent Behaviour with Abacus

ContributorsNierstrasz, Oscar
Published inObject Management = Gestion d'objets, Editors Tsichritzis, Dionysios, p. 267-293
PublisherGenève : Centre universitaire d'informatique
Publication date1990-07

We present the syntax, semantics and usage of Abacus, an executable notation for specifying concurrent computations that extends CCS with label prefixing and filtering operators for encapsulating systems of communicating agents and a pattern mechanism for parameterizing behaviour expressions. Abacus is intended to be used as a semantic target and a prototyping tool for the specification of concurent object-based languages and systems. We illustrate the use of Abacus through a series of standard concurrency examples, concluding with an executable specification of SAL, a Simple Actor Language.

Citation (ISO format)
NIERSTRASZ, Oscar. A Guide to Specifying Concurrent Behaviour with Abacus. In: Object Management = Gestion d’objets. Genève : Centre universitaire d’informatique, 1990. p. 267–293.
Main files (1)
Book chapter (Published version)
  • PID : unige:158326

Technical informations

Creation01/25/2022 12:33:00 PM
First validation01/25/2022 12:33:00 PM
Update time03/16/2023 2:29:14 AM
Status update03/16/2023 2:29:13 AM
Last indexation02/12/2024 12:18:57 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack