Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele. Counting Interface Automata and their Application in Static Analysis of Actor Models. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 106-116, IEEE Computer Society, 2005. [doi]
Abstract is missing.