Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
On the formalization of architectural types with process algebras
FSE, 2000.
@inproceedings{FSE-2000-BernardoCD,
acmid = "355045.355064",
author = "Marco Bernardo and Paolo Ciancarini and Lorenzo Donatiello",
booktitle = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
pages = "140--148",
publisher = "{ACM}",
title = "{On the formalization of architectural types with process algebras}",
year = 2000,
}