Characterizing Recursive Programs up to Bisimilarity

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	47-52
Number of pages	6
Publication status	Published - 30 Aug 2010
Event	Proceedings of the 7th Workshop on Fixed Points in Computer Science (FICS 2010), HAL-INRIA 00512377 - Duration: 30 Aug 2010 → …

Conference	Proceedings of the 7th Workshop on Fixed Points in Computer Science (FICS 2010), HAL-INRIA 00512377
Period	30/08/10 → …

Cite this

@conference{1ab1594aa5f94719b38ae1d471d9d11a,

title = "Characterizing Recursive Programs up to Bisimilarity",

author = "Paul Levy and L Santocanale",

year = "2010",

month = aug,

day = "30",

language = "English",

pages = "47--52",

note = "Proceedings of the 7th Workshop on Fixed Points in Computer Science (FICS 2010), HAL-INRIA 00512377 ; Conference date: 30-08-2010",

}