,
Springer
Lecture Notes in Computer Science
Modelling and Analysis of evolutionary structures for distributed services
International Symposium on Formal Methods for Components and Objects
Computer Security

Jaghoori, M. M. (2008). Coordinating Object Oriented Components Using Data-flow Networks. In Proceedings of Formal Methods for Components and Objects 2007 (pp. 280–311). Springer.