A Compositional Specification Theory for Component Behaviours.

Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska

Browse the full ESOP paper archive.