Counting Interface Automata and their Application in Static Analysis of Actor Models.

Ernesto Wandeler, Jrn W. Janneck, Edward A. Lee, Lothar Thiele

Browse the full SEFM paper archive.