Farhad Arbab. Abstract Behavior Types: A Foundation Model for Components and Their Composition. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 33-70, Springer, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.