Process algebra with pointers
Jcm Jos Baeten, JA Jan Bergstra, Lmg Loe Feijs · TU/e Research Portal · 2002
Abstract. \Ve present a process algebra for mobile processes without bound or free variables. Instead; pointers arc used) that refer back to an action executed in the history of a process. The situation is comparable to a presentation of the '\~cakulus with De Bruijn indices. Note: Report CS~R 02~03) Department of Mathematics and Computer Science) Tedmische Universiteit Eindhoven)