Үүнийг мессежээр илгээх: Logics and models of concurrent systems / edited by Krzysztof R. Apt.