The Algorithmics of Bisimilarity
Publication: Research - peer-review › Book chapter
| Original language | English |
|---|---|
| Title | Advanced Topics in Bisimulation and Coinduction |
| Number of pages | 73 |
| Volume | 52 |
| Publisher | Cambridge University Press |
| Publication date | 2011 |
| Pages | 100-172 |
| Chapter | 3 |
| ISBN (print) | 9781107004979 |
| State | Published |
| Name | Cambridge Tracts in Theoretical Computer Science |
|---|---|
| Number | 52 |
ID: 59464426