Behavioral subtyping relations for active objects

DOI10.1023/A:1024764232069MaRDI QIDQ1426939zbMATH OpenFDO

Authors Heike Wehrheim

Publication date 15 March 2004

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

CSPrefinementobject-orientationbehavioral subtyping

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited in

(15)

• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• Strong types for coordinating active objects
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• Simulation of behaviour and object substitutability
• scientific article; zbMATH DE number 1860619 (Why is no real title available?)
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• Model evolution and refinement
• Lazy behavioral subtyping
• Subtyping in distributed systems
• Sound and relaxed behavioural inheritance
• scientific article; zbMATH DE number 2011482 (Why is no real title available?)
• scientific article; zbMATH DE number 2143091 (Why is no real title available?)
• Behavioural subtyping using invariants and constraints
• Conformance notions for the coordination of interaction components

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Behavioral subtyping relations for active objects

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