Author: IFIP International Conference on Theoretical Computer Science (4th 2006 Santiago, Chile)