Register-machine based processes
Journal of the ACM (JACM)
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Hi-index | 0.00 |