Process algebra with pointers

J.C.M. Baeten, J.A. Bergstra, L.M.G. Feijs

Onderzoeksoutput: Boek/rapportRapportAcademic

68 Downloads (Pure)


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)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's21
StatusGepubliceerd - 2002

Publicatie series

NaamComputer science reports
ISSN van geprinte versie0926-4515


Duik in de onderzoeksthema's van 'Process algebra with pointers'. Samen vormen ze een unieke vingerafdruk.

Citeer dit