Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "Abacus: a Notation for Describing Concurrent Computations", July, 1989

Abstract

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.

Additionnal Notes

in Technical Report "Object Oriented Development", p 247-275, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Nier89e,
Author = "Oscar Nierstrasz",
Title = "Abacus: a Notation for Describing Concurrent Computations",
Key = "pcalc-obc semantics abacus osg tr89",
Notes = "in Technical Report "Object Oriented Development", p 247-275, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "July",
Year = "1989"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.