scientific article; zbMATH DE number 1231588

MaRDI QIDQ4222907zbMATH OpenFDO

Authors Luca Aceto, Hans Hüttel, Anna Ingolfsdottir, Josva Kleist

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#aceto

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55)

Recommendations

• Difunctorial semantics of object calculus
• Operational equivalences for untyped and polymorphic object calculi
• Objects in the \(\pi\)-calculus

Cited in

(13)

• Programming Languages and Systems
• Inter-deriving semantic artifacts for object-oriented programming
• Imperative objects as mobile processes
• A semantics for complex objects and approximate answers
• scientific article; zbMATH DE number 1696586 (Why is no real title available?)
• scientific article; zbMATH DE number 2089377 (Why is no real title available?)
• Semantics and logic of object calculi
• Difunctorial semantics of object calculus
• Operational equivalences for untyped and polymorphic object calculi
• MODELING OCCURRENCES OF OBJECTS IN RELATIONS
• Denotational semantics for a program logic of objects
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• Formal Methods for Components and Objects

This page was built for publication:

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