The Algorithmics of Bisimilarity

Luca Aceto, Anna Ingolfsdottir, Jiri Srba

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

Originalsprog	Engelsk
Titel	Advanced Topics in Bisimulation and Coinduction
Antal sider	73
Vol/bind	52
Forlag	Cambridge University Press
Publikationsdato	2011
Sider	100-172
Kapitel	3
ISBN (Trykt)	9781107004979
Status	Udgivet - 2011

Navn	Cambridge Tracts in Theoretical Computer Science
Nummer	52

AUB Link

@inbook{9cd61e3a667740b1a33bf95f4442a2c7,

title = "The Algorithmics of Bisimilarity",

author = "Luca Aceto and Anna Ingolfsdottir and Jiri Srba",

year = "2011",

language = "English",

isbn = "9781107004979",

volume = "52",

series = "Cambridge Tracts in Theoretical Computer Science",

publisher = "Cambridge University Press",

number = "52",

pages = "100--172",

booktitle = "Advanced Topics in Bisimulation and Coinduction",

address = "United Kingdom",

}