Formal Models for Component Connectors

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
Copromotor	M. Niqui (Milad) , D.G. Clarke (David)
ISBN	978-90-6464-436-8
Persistent URL	hdl.handle.net/1871/16380
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2010-10
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Oliveira Costa, D. (2010, December 13). Formal Models for Component Connectors. IPA dissertation series. Retrieved from http://hdl.handle.net/1871/16380

Publication