@inproceedings{4aab64fdfabc4eb697d0ecff8e4c0816,
title = "Algebraic semantics of coordination or what is in a signature",
abstract = "We propose an algebraic characterisation of the notion of coordination in the sense of recently proposed languages and computational models that provide a clear separation between the modelling of individual software components and their interaction in the overall software organisation. We show how this separation can be captured in Goguen{\textquoteright}s categorical approach to General Systems Theory and borrow examples from specification logics, program design languages, mathematical models of behaviour, and coordination languages to illustrate the applicability of our algebraic characterisation.",
keywords = "Discrete Structure, Algebraic Semantic, Algebraic Characterisation, Program Signature, Software Organisation",
author = "Fiadeiro, {Jos{\'e} Luiz} and Ant{\'o}nia Lopes",
year = "1998",
doi = "10.1007/3-540-49253-4_22",
language = "English",
isbn = "3540654623",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "293--307",
editor = "Haeberer, {Armando Martin}",
booktitle = "Algebraic Methodology and Software Technology - 7th International Conference, AMAST 1998, Proceedings",
address = "Germany",
note = "7th International Conference on Algebraic Methodology and Software Technology, AMAST 1998 ; Conference date: 04-01-1999 Through 08-01-1999",
}