Process algebra with pointers

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

Process algebra with pointers

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

Formal System Analysis

Research output: Book/Report › Report › Academic

66 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 language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	21
Publication status	Published - 2002

Publication series

Name	Computer science reports
Volume	0203
ISSN (Print)	0926-4515

Access to Document

200203Final published version, 727 KB

Cite this

@book{bdc4ff51c07a4424b4d050dd32d3a769,

title = "Process algebra with pointers",

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)",

author = "J.C.M. Baeten and J.A. Bergstra and L.M.G. Feijs",

year = "2002",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Process algebra with pointers

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Feijs, L.M.G.

PY - 2002

Y1 - 2002

N2 - 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)

AB - 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)

M3 - Report

T3 - Computer science reports

BT - Process algebra with pointers

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Process algebra with pointers

Abstract

Publication series

Access to Document

Fingerprint

Cite this