Static Analysis for the Pi-calculus with Applications to Security

C. Bodei, P. Degano, Flemming Nielson, Hanne Riis Nielson

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

Original language	English
Journal	Information and Computation
Volume	168
Issue number	1
Pages (from-to)	68-92
ISSN	0890-5401
DOIs	https://doi.org/10.1006/inco.2000.3020
Publication status	Published - 2001

Access to Document

@article{b05396cf568345589ddacd11be252d07,

title = "Static Analysis for the Pi-calculus with Applications to Security",

author = "C. Bodei and P. Degano and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2001",

doi = "10.1006/inco.2000.3020",

language = "English",

volume = "168",

pages = "68--92",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Academic Press",

number = "1",

}

TY - JOUR

T1 - Static Analysis for the Pi-calculus with Applications to Security

AU - Bodei, C.

AU - Degano, P.

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2001

Y1 - 2001

U2 - 10.1006/inco.2000.3020

DO - 10.1006/inco.2000.3020

M3 - Journal article

SN - 0890-5401

VL - 168

SP - 68

EP - 92

JO - Information and Computation

JF - Information and Computation

IS - 1

ER -