Symbolic Bisimulation for the Applied Pi Calculus

Stephanie Delaune; S Kremer; Mark Ryan

doi:10.1007/978-3-540-77050-3_11

Symbolic Bisimulation for the Applied Pi Calculus

Stephanie Delaune, S Kremer, Mark Ryan

Computer Science

Research output: Contribution to conference (unpublished) › Paper

21 Citations (Scopus)

Original language	English
Pages	133-145
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-540-77050-3_11
Publication status	Published - 27 Nov 2007
Event	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Proceedings of 27th International Conference - Duration: 27 Nov 2007 → …

Conference

Conference	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Proceedings of 27th International Conference
Period	27/11/07 → …

Access to Document

10.1007/978-3-540-77050-3_11

Cite this

@conference{c4d5710659f841c28b5bdbbbb3be0d62,

title = "Symbolic Bisimulation for the Applied Pi Calculus",

author = "Stephanie Delaune and S Kremer and Mark Ryan",

year = "2007",

month = nov,

day = "27",

doi = "10.1007/978-3-540-77050-3_11",

language = "English",

pages = "133--145",

note = "FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Proceedings of 27th International Conference ; Conference date: 27-11-2007",

}

TY - CONF

T1 - Symbolic Bisimulation for the Applied Pi Calculus

AU - Delaune, Stephanie

AU - Kremer, S

AU - Ryan, Mark

PY - 2007/11/27

Y1 - 2007/11/27

U2 - 10.1007/978-3-540-77050-3_11

DO - 10.1007/978-3-540-77050-3_11

M3 - Paper

SP - 133

EP - 145

T2 - FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Proceedings of 27th International Conference

Y2 - 27 November 2007

ER -