Luca Aceto;Wan Fokkink;Anna Ingólfsdóttir
-;-;-
Register-machine based processes
Journal of the ACM (JACM)