Typed normal form bisimulation

SB Lassen; Paul Levy; J Duparc; TA Henzinger

doi:10.1007/978-3-540-74915-8_23

Typed normal form bisimulation

SB Lassen, Paul Levy, J Duparc, TA Henzinger

Computer Science

Research output: Contribution to conference (unpublished) › Paper

25 Citations (Scopus)

Original language	English
Pages	283-297
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-540-74915-8_23
Publication status	Published - 1 Aug 2007
Event	Computer Science Logic, Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL - Duration: 1 Aug 2007 → …

Conference

Conference	Computer Science Logic, Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL
Period	1/08/07 → …

Access to Document

10.1007/978-3-540-74915-8_23

Cite this

@conference{da37c1e44cb24a8a9f226ab7e5da9631,

title = "Typed normal form bisimulation",

author = "SB Lassen and Paul Levy and J Duparc and TA Henzinger",

year = "2007",

month = aug,

day = "1",

doi = "10.1007/978-3-540-74915-8_23",

language = "English",

pages = "283--297",

note = "Computer Science Logic, Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL ; Conference date: 01-08-2007",

}

TY - CONF

T1 - Typed normal form bisimulation

AU - Lassen, SB

AU - Levy, Paul

AU - Duparc, J

AU - Henzinger, TA

PY - 2007/8/1

Y1 - 2007/8/1

U2 - 10.1007/978-3-540-74915-8_23

DO - 10.1007/978-3-540-74915-8_23

M3 - Paper

SP - 283

EP - 297

T2 - Computer Science Logic, Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL

Y2 - 1 August 2007

ER -