Rolf Hennicker;Martin Wirsing
-;-
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications