Chen, WeiminAberer, Karl2005-09-152005-09-152005-09-151995https://infoscience.epfl.ch/handle/20.500.14299/216636Efficient Multiple Dispatching Using Nested Transition-Arraystext::report