Interface Input/Output Automata.

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Browse the full FM paper archive.