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

DOI10.1007/BF01213495zbMATH Open0862.68074WikidataQ130980739 ScholiaQ130980739MaRDI QIDQ2365396FDOQ2365396

Authors: Ruth Breu, Elena Zucca 

Publication date: 4 February 1997

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

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.

zbMATH Keywords

object oriented languagesconcurrent featuresalgebraic semantics schema

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

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

Cited In (4)

• Algebraic semantics of the modeling language AML
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)