A Logical Viewpoint on Architectures.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Browse the full EDOC paper archive.