Behavioral subtyping relations for active objects

DOI10.1023/A:1024764232069zbMath1057.68015MaRDI QIDQ1426939

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)

Related Items (3)

Model evolution and refinement ⋮ Conformance notions for the coordination of interaction components ⋮ Lazy behavioral subtyping

Uses Software

• LOTOS

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