Abstract Behavior Types: A Foundation Model for Components and Their Composition
Arbab, Farhad
Formal Methods for Components and Objects, 2003, p.33-70
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível