A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories.

Uli Fahrenberg, Axel Legay

Browse the full SOFSEM paper archive.