Institutions for Behaviour Specification.

Jos Luiz Fiadeiro, Jos Flix Costa

Browse the full COMPASS paper archive.