12 Library Special 9 University 3

9 ZAIN Publications 8 Universitas PGRI Palembang 5 DEFAULT

9 Cognizance Journal of Multidisciplinary Studies 5 DEFAULT

15 Other Info 15 Software 11 Dataset 1 14 Journal more ... 3 Video Video 3 less ...

concurrency 4 Java 4 debugging 4 performance 4 thread 4 visualization more ... 3 data structure 3 linearizable 3 range query 2 correctness 2 distributed systems 2 domain-specific languages 2 language design 2 model checking 2 scheduling 2 software verification 2 specification 2 theorem provers 2 type systems 2 verification 1 Abstract State Machine 1 Fōrmulæ 1 abstraction 1 advance reservations 1 asynchrony 1 communication 1 distributed system 1 fairness 1 grid computing 1 induction 1 invariants 1 layers 1 meta-theory 1 movers 1 multi-threading 1 parallel applications 1 proof assistant 1 reduction 1 refinement 1 resource co-allocation 1 software 1 symbolic computation 1 weak memory models less ...

4 Anonymous 3 Ahmed 3 Jacob 3 Roberto 2 Francisco Ferreira 2 Lorenzo Gheri more ... 2 Metzler, Patrick 2 Nobuko Yoshida 1 Anton Podkopaev 1 Artač, Matej 1 Bernhard Kragl 1 Börger, Egon 1 Cankar, Matija 1 Castro, David 1 Constantin Enea 1 David Castro 1 David Castro-Perez 1 Egor Namakonov 1 Ferreira, Francisco 1 Jonas Oberhauser 1 Lotrič, Uroš 1 Ori Lahav 1 R. Ugalde, Laurence 1 Schewe, Klaus-Dieter 1 Shaz Qadeer 1 Slivnik, Boštjan 1 Suha Orhun Mutluergil 1 Suri, Neeraj 1 Thomas A. Henzinger 1 Viktor Vafeiadis 1 Weissenbacher, Georg 1 Yoshida, Nobuko 1 Šterk, Marjan less ...

7 eng

9 2020 4 2021 1 2013 1 2015 1 2017 1 2019

2 Journal of Universal Computer Science