Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "A Guide to Specifying Concurrent Behaviour with Abacus", July, 1990

Abstract

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 concurrent object-based languages and systems. We illustrate the use of Abacus through a series of standard obc examples, concluding with an executable specification of SAL, a Simple Actor Language.

Additionnal Notes

in Technical Report "Object Management", p 267-293, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva

Bibtex

@unpublished{Nier90c,
Author = "Oscar Nierstrasz",
Title = "A Guide to Specifying Concurrent Behaviour with Abacus",
Key = "pcalc-obc semantics abacus osg tr90",
Notes = "in Technical Report "Object Management", p 267-293, D. Tsichritzis editor, Centre Universitaire d'Informatique, University of Geneva",
Month = "July",
Year = "1990"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.