“...International Conference on Concurrency Theory Lisabon, Portugalsko)...”