Process algebra with pointers

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

Research output: Book/ReportReportAcademic

77 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)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
Publication statusPublished - 2002

Publication series

NameComputer science reports
ISSN (Print)0926-4515


Dive into the research topics of 'Process algebra with pointers'. Together they form a unique fingerprint.

Cite this