The Algorithmics of Bisimilarity

Luca Aceto, Anna Ingolfsdottir, Jiri Srba

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelAdvanced Topics in Bisimulation and Coinduction
Antal sider73
Vol/bind52
ForlagCambridge University Press
Publikationsdato2011
Sider100-172
Kapitel3
ISBN (Trykt)9781107004979
StatusUdgivet - 2011
NavnCambridge Tracts in Theoretical Computer Science
Nummer52

Citer dette

Aceto, L., Ingolfsdottir, A., & Srba, J. (2011). The Algorithmics of Bisimilarity. I Advanced Topics in Bisimulation and Coinduction (Bind 52, s. 100-172). Cambridge University Press. Cambridge Tracts in Theoretical Computer Science, Nr. 52
Aceto, Luca ; Ingolfsdottir, Anna ; Srba, Jiri. / The Algorithmics of Bisimilarity. Advanced Topics in Bisimulation and Coinduction. Bind 52 Cambridge University Press, 2011. s. 100-172 (Cambridge Tracts in Theoretical Computer Science; Nr. 52).
@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",

}

Aceto, L, Ingolfsdottir, A & Srba, J 2011, The Algorithmics of Bisimilarity. i Advanced Topics in Bisimulation and Coinduction. bind 52, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, nr. 52, s. 100-172.

The Algorithmics of Bisimilarity. / Aceto, Luca; Ingolfsdottir, Anna; Srba, Jiri.

Advanced Topics in Bisimulation and Coinduction. Bind 52 Cambridge University Press, 2011. s. 100-172 (Cambridge Tracts in Theoretical Computer Science; Nr. 52).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

T1 - The Algorithmics of Bisimilarity

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

AU - Srba, Jiri

PY - 2011

Y1 - 2011

M3 - Book chapter

SN - 9781107004979

VL - 52

T3 - Cambridge Tracts in Theoretical Computer Science

SP - 100

EP - 172

BT - Advanced Topics in Bisimulation and Coinduction

PB - Cambridge University Press

ER -

Aceto L, Ingolfsdottir A, Srba J. The Algorithmics of Bisimilarity. I Advanced Topics in Bisimulation and Coinduction. Bind 52. Cambridge University Press. 2011. s. 100-172. (Cambridge Tracts in Theoretical Computer Science; Nr. 52).