Additional Metadata
ACM Applications (acm I.1.4)
MSC Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85), Distributed algorithms (msc 68W15), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30), Languages and software systems (knowledge-based systems, expert systems, etc.) (msc 68T35)
THEME Software (theme 1)
Promotor J.J.M.M. Rutten (Jan) , F. Arbab (Farhad)
Degree Grantor Vrije Universiteit Amsterdam
ISBN 978-90-6464-436-8
Series Institute for Programming research and Algorithmics Dissertation Series ; 2010-10
de Oliveira Costa, D.F. (2010, December 13). Formal Models for Component Connectors. IPA dissertation series.