A trace based bisimulation for the spi calculus

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

Original language	English
Title of host publication	Programming Languges and Systems, 5th Asian Symposium APLAS 2007 Proceedings
Editors	Shao Zhong
Place of Publication	New York
Publisher	Springer
Pages	367-382
Edition	Peer Reviewed
ISBN (Print)	9783540766360
Publication status	Published - 2007
Event	ASIAN Symposium on Programming Languages and Systems (APLAS 2007) - Singapore, Singapore Duration: 1 Jan 2007 → …

Conference	ASIAN Symposium on Programming Languages and Systems (APLAS 2007)
Country/Territory	Singapore
Period	1/01/07 → …
Other	November 29-December 1 2007

Cite this

@inproceedings{50a563b746454f9f9905d12f45f98a14,

title = "A trace based bisimulation for the spi calculus",

author = "Alwen Tiu",

year = "2007",

language = "English",

isbn = "9783540766360",

pages = "367--382",

editor = "\{Shao Zhong\}",

booktitle = "Programming Languges and Systems, 5th Asian Symposium APLAS 2007 Proceedings",

publisher = "Springer",

address = "Germany",

edition = "Peer Reviewed",

note = "ASIAN Symposium on Programming Languages and Systems (APLAS 2007) ; Conference date: 01-01-2007",

}

TY - GEN

T1 - A trace based bisimulation for the spi calculus

AU - Tiu, Alwen

PY - 2007

Y1 - 2007

M3 - Conference Paper

SN - 9783540766360

SP - 367

EP - 382

BT - Programming Languges and Systems, 5th Asian Symposium APLAS 2007 Proceedings

A2 - null, Shao Zhong

PB - Springer

CY - New York

T2 - ASIAN Symposium on Programming Languages and Systems (APLAS 2007)

Y2 - 1 January 2007

ER -