Behavioral Specification Theories: An Algebraic Taxonomy.

Uli Fahrenberg, Axel Legay

Browse the full ISoLA paper archive.