An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)

DOI10.1007/BF01213495MaRDI QIDQ2365396zbMATH OpenWikidataFDO

Authors Ruth Breu, Elena Zucca

Publication date 4 February 1997

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

object oriented languagesconcurrent featuresalgebraic semantics schema

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1304364
• The categorical framework of object-oriented concurrent systems
• scientific article; zbMATH DE number 1231464
• Concurrent object-oriented programs: from specification to code.

Cites work

• Algebraic specification techniques in object oriented programming environments
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
• D-oids: a model for dynamic data-types
• Denotational semantics of a parallel object-oriented language
• Structured algebraic specifications: A kernel language

Cited in

(4)

• Algebraic semantics of the modeling language AML
• scientific article; zbMATH DE number 1822284 (Why is no real title available?)
• scientific article; zbMATH DE number 1614713 (Why is no real title available?)
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)

This page was built for publication: An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365396)