Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleSpecial issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).AuthorsAceto, Luca; Frutos Escrig, DavidSubjectsCOMPUTER systems; BISIMULATION; DECIDABILITY (Mathematical logic); DISCRETE-time systems; MARKOV processesPublicationActa Informatica, 2017, Vol 54, Issue 1, p1ISSN0001-5903Publication typeEditorialDOI10.1007/s00236-017-0292-7