CONCURRENT PROGRAMS
Experts
- Jan A. Bergstra
- Richard H. Carver
- Jos C. M. Baeten
- Kuo-Chung Tai
- Cornelis A. Middelburg
- Shaz Qadeer
- Yu Lei
- Baowen Xu
- Maurizio Gabbrielli
- Ahmed Bouajjani
- Yong Wang
- Azadeh Farzan
- Frank S. de Boer
- Catuscia Palamidessi
- Constantin Enea
- Gwen Salaün
- Michel A. Reniers
- Alban Ponse
- Amir Pnueli
- Akinori Yonezawa
- Xiaofang Qi
- Maria Chiara Meo
- Paul C. Attie
- Mirco Tribastone
- Jane Hillston
- Mario Bravetti
- Luca Aceto
- Rance Cleaveland
- Jeff Offutt
- Yang Liu
- Koushik Sen
- Rob J. van Glabbeek
- Sreedevi Sampath
- Konstantinos Sagonas
- Jan Willem Klop
- David Chenho Kung
- Anindya Banerjee
- Fernando Cuartero
- Zuohua Ding
Venues
- CoRR
- Theor. Comput. Sci.
- CONCUR
- IEEE Trans. Software Eng.
- Electron. Notes Theor. Comput. Sci.
- ASE
- ICSE
- Softw. Pract. Exp.
- Inf. Process. Lett.
- PLDI
- ICST
- COMPSAC
- POPL
- ISSTA
- CAV
- Commun. ACM
- J. Log. Algebraic Methods Program.
- ACM Trans. Program. Lang. Syst.
- ACM SIGPLAN Notices
- APSEC
- SIGCSE
- SEKE
- Formal Aspects Comput.
- Sci. Comput. Program.
- ESEC/SIGSOFT FSE
- Inf. Softw. Technol.
- Softw. Test. Verification Reliab.
- Proc. ACM Program. Lang.
- OOPSLA
- Acta Informatica
- Fundam. Informaticae
- IPDPS Workshops
- Concurr. Comput. Pract. Exp.
- ICALP
- PODC
- Comput. J.
- J. Syst. Softw.
- IPDPS
- ITC
Related Topics
Related Keywords
Popularity