Acta Informatica - Foundations of Computing. The journal provides international dissemination of contributions on the art, discipline and science of informatics. Its scope covers design, description, presentation and analysis of pro...