Applications (acm I.1.4)
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)
Software (theme 1)
J.J.M.M. Rutten (Jan) , F. Arbab (Farhad)
Vrije Universiteit Amsterdam
Institute for Programming research and Algorithmics Dissertation Series ; 2010-10
Computer Security

de Oliveira Costa, D.F. (2010, December 13). Formal Models for Component Connectors. IPA dissertation series.