scientific article; zbMATH DE number 1231588

zbMATH Open0911.68123MaRDI QIDQ4222907FDOQ4222907

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (13)

• Programming Languages and Systems
• Inter-deriving semantic artifacts for object-oriented programming
• Imperative objects as mobile processes
• Title not available (Why is that?)
• A semantics for complex objects and approximate answers
• Title not available (Why is that?)
• 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
• Formal Methods for Components and Objects
• Title not available (Why is that?)

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)