Model checking for pi-calculus using proof search

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	Concurrency Theory CONCUR 2005: 16th International Conference Proceedings
Editors	Martin Abadi and Luca de Alfaro
Place of Publication	New York
Publisher	Springer
Pages	36-50
ISBN (Print)	3540283099
Publication status	Published - 2005
Event	International Conference on Concurrency Theory (CONCUR 2005) - San Francisco USA Duration: 1 Jan 2005 → …

Conference	International Conference on Concurrency Theory (CONCUR 2005)
Period	1/01/05 → …
Other	August 23-26 2005

Cite this

@inproceedings{6255c5f233a14737a0b09d595de6c703,

title = "Model checking for pi-calculus using proof search",

author = "Alwen Tiu",

year = "2005",

language = "English",

isbn = "3540283099",

pages = "36--50",

editor = "\{Martin Abadi and Luca de Alfaro\}",

booktitle = "Concurrency Theory CONCUR 2005: 16th International Conference Proceedings",

publisher = "Springer",

address = "Germany",

note = "International Conference on Concurrency Theory (CONCUR 2005) ; Conference date: 01-01-2005",

}

TY - GEN

T1 - Model checking for pi-calculus using proof search

AU - Tiu, Alwen

PY - 2005

Y1 - 2005

M3 - Conference Paper

SN - 3540283099

SP - 36

EP - 50

BT - Concurrency Theory CONCUR 2005: 16th International Conference Proceedings

A2 - null, Martin Abadi and Luca de Alfaro

PB - Springer

CY - New York

T2 - International Conference on Concurrency Theory (CONCUR 2005)

Y2 - 1 January 2005

ER -