2023-06-252023-06-25https://tore.tuhh.de/handle/11420/218518th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005