Process algebra with pointers

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

Research output: Book/ReportReportAcademic

40 Downloads (Pure)

Abstract

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
Volume0203
ISSN (Print)0926-4515

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

  • Cite this

    Baeten, J. C. M., Bergstra, J. A., & Feijs, L. M. G. (2002). Process algebra with pointers. (Computer science reports; Vol. 0203). Technische Universiteit Eindhoven.