Mobile Objects as Mobile Processes

M. Massimo, U. Nestmann, Josva Kleist

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Information and Computation
Issue number	177
Pages (from-to)	1-47
Number of pages	47
ISSN	0890-5401
Publication status	Published - 2002

Keywords

@article{595784d0809211db8b97000ea68e967b,

title = "Mobile Objects as Mobile Processes",

keywords = "Pi-calculus, Objects, Migration, Proofs, Pi-calculus, Objects, Migration, Proofs",

author = "M. Massimo and U. Nestmann and Josva Kleist",

year = "2002",

language = "English",

pages = "1--47",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

number = "177",

}

TY - JOUR

T1 - Mobile Objects as Mobile Processes

AU - Massimo, M.

AU - Nestmann, U.

AU - Kleist, Josva

PY - 2002

Y1 - 2002

KW - Pi-calculus

KW - Objects

KW - Migration

KW - Proofs

KW - Pi-calculus

KW - Objects

KW - Migration

KW - Proofs

M3 - Journal article

SN - 0890-5401

SP - 1

EP - 47

JO - Information and Computation

JF - Information and Computation

IS - 177

ER -