CONCURRENT PROGRAMMING
Experts
- Ronald A. Olsson
- Richard H. Carver
- Akinori Yonezawa
- Frank S. de Boer
- Maurizio Gabbrielli
- Kuo-Chung Tai
- Amir Pnueli
- Per Brinch Hansen
- Catuscia Palamidessi
- Lars Birkedal
- Shaz Qadeer
- Ahmed Bouajjani
- Leslie Lamport
- Jonathan Aldrich
- Yu Lei
- Margaret M. Burnett
- Alastair F. Donaldson
- Yong Wang
- Manfred Broy
- Sebastian Nanz
- Constantin Enea
- Narain H. Gehani
- Maria Chiara Meo
- Shinichi Honiden
- Xiaofang Qi
- Robbert Krebbers
- Vijay A. Saraswat
- Azadeh Farzan
- Andreas Stefik
- Gwan-Hwan Hwang
- Tony Hoare
- Sangmin Park
- Evan Tick
- Baowen Xu
- Alexander Heußner
- Madanlal Musuvathi
- Daniel Kroening
- Gérard Boudol
- Carlo Taticchi
Venues
- CoRR
- ACM SIGPLAN Notices
- SIGCSE
- Commun. ACM
- Softw. Pract. Exp.
- ESOP
- POPL
- IEEE Trans. Software Eng.
- PLDI
- ACM SIGCSE Bull.
- Sci. Comput. Program.
- Electron. Notes Theor. Comput. Sci.
- Comput. J.
- ACM Trans. Program. Lang. Syst.
- Proc. ACM Program. Lang.
- ACM Comput. Surv.
- CONCUR
- OOPSLA
- ICLP
- Computer
- ICSE
- Microprocess. Microsystems
- Comput. Lang.
- ACM Conference on Computer Science
- VL/HCC
- ICDCS
- OOPSLA Companion
- ICFP
- J. Log. Algebraic Methods Program.
- PPIG
- Theor. Comput. Sci.
- COMPSAC
- ITiCSE
- PODC
- IJCAI
- APL
- J. ACM
- IEEE Softw.
- ACM SIGSOFT Softw. Eng. Notes
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend