Compositionality of Safe Communication in Systems of Team Automata.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

Browse the full ICTAC paper archive.