@inproceedings{c8ba207c8e654856933a1328d486b8c1,
title = "Semantics of architectural connectors",
abstract = "A categorical semantics is proposed for the notion of architectural connector in the style defined by Allen and Garlan which adopts notions of parameterisation similar to those developed for Abstract Data Type specification, and adapts them to formalisms for parallel program design. We show how many of the claims made in [1] can be formally substantiated, and generalised to formalisms other than CSP. Finally, we show how the categorical formalisation lends itself to useful generalisations of the notion of connector, namely through the use of multiple formalisms in the definition of the glue and the roles.",
keywords = "Linear Temporal Logic, Parallel Composition, Full Embedding, Connector Type, Program Design Language",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",
year = "1997",
doi = "10.1007/BFb0030622",
language = "English",
isbn = "9783540627814",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "503--519",
editor = "M. Bidoit and M. Dauchet",
booktitle = "TAPSOFT '97",
address = "Germany",
note = "TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE ; Conference date: 14-04-1997 Through 18-04-1997",
}