Jacob Gore
Eastern New Mexico Univ., Portales/ and ToolCASE Computing, Inc., Englewood, CO
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