Semantics of Architectural Specifications in CASL.

Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman

Browse the full FASE paper archive.