Book chapter
Open access

Abacus: a Notation for Describing Concurrent Computations

ContributorsNierstrasz, Oscar
Published inObject oriented development = Développement orienté objet, Editors Tsichritzis, Dionysios, p. 247-275
PublisherGenève : Centre universitaire d'informatique
Publication date1989-07

Abacus is an experimental notation for specifying concurrent computations, to be used as a semantic target for defining and prototyping concurrent language constructs. We present the current implementation and its underlying computational model, and we illustrate its computational power and expressiveness through examples and by demonstrating equivalence with other models.

Citation (ISO format)
NIERSTRASZ, Oscar. Abacus: a Notation for Describing Concurrent Computations. In: Object oriented development = Développement orienté objet. Genève : Centre universitaire d’informatique, 1989. p. 247–275.
Main files (1)
Book chapter (Published version)
  • PID : unige:159011

Technical informations

Creation02/17/2022 10:57:00 AM
First validation02/17/2022 10:57:00 AM
Update time03/16/2023 2:41:19 AM
Status update03/16/2023 2:41:19 AM
Last indexation02/12/2024 12:20:11 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack