Simulation of behaviour and object substitutability

MaRDI QIDQ2737499zbMATH OpenFDO

Authors María José Presso, Natalia Romero, Verónica Argañaraz, Gabriel Baum, Máximo Prieto

Publication date 12 September 2001

zbMATH Keywords

imperative calculus semantics

Mathematics Subject Classification ID

Recommendations

• On simulation, subtyping and substitutability in sequential object systems
• scientific article; zbMATH DE number 1696907
• scientific article; zbMATH DE number 2143091
• Behavioral subtyping relations for active objects
• scientific article; zbMATH DE number 1222417

Cited in

(1)

• scientific article; zbMATH DE number 2237523 (Why is no real title available?)

This page was built for publication: Simulation of behaviour and object substitutability

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