책 이미지
eBook 미리보기
책 정보
· 제목 : Advanced Topics in Bisimulation and Coinduction (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781107004979
· 쪽수 : 342쪽
· 출판일 : 2011-10-13
· 분류 : 외국도서 > 컴퓨터 > 정보통신기술(IT)
· ISBN : 9781107004979
· 쪽수 : 342쪽
· 출판일 : 2011-10-13
목차
Preface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Ji?i Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.
