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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

68 Downloads (Pure)

Samenvatting

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-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	21
Status	Gepubliceerd - 2002

Publicatie series

Naam	Computer science reports
Volume	0203
ISSN van geprinte versie	0926-4515

Toegang tot document

200203Definitieve gepubliceerde versie, 727 KB

Citeer dit

@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

Samenvatting

Publicatie series

Toegang tot document

Vingerafdruk

Citeer dit