Dynamic Communicating Automata and Branching High-Level MSCs.

Benedikt Bollig, Aiswarya Cyriac, Loc Hlout, Ahmet Kara, Thomas Schwentick

Browse the full LATA paper archive.