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)

Full work available at URL https://doi.org/10.1007/BF01213495

zbMATH Keywords

algebraic semantics schemaconcurrent featuresobject oriented languages

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)

• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
• Algebraic semantics of the modeling language AML
• A formalization of a concurrent object calculus up to -conversion
• scientific article; zbMATH DE number 1822284 (Why is no real title available?)

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)