Mojmír Křetínský

Mojmír Křetínský

Masaryk university, Faculty of Informatics
Verified email at fi.muni.cz
Cited by 543
Formal models concurrent processes verification.
Anson Miu

Anson Miu

Imperial College London and Bloomberg
Verified email at ansonmiu.dev
Cited by 46
multiparty session types concurrent processes programming language software engineering