Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1 - High Level - Document - PDFSEARCH.IO

First Page	Meta Content
	Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1 Add to Reading List Document Date: 2015-02-28 19:20:13 Open Document File Size: 426,96 KB Share Result on Facebook

Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1Add to Reading List