책 이미지
eBook 미리보기
책 정보
· 제목 : Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Hardcover, 2001)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 병렬처리
· ISBN : 9780387950921
· 쪽수 : 220쪽
· 출판일 : 2001-03-30
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 병렬처리
· ISBN : 9780387950921
· 쪽수 : 220쪽
· 출판일 : 2001-03-30
목차
From the contents: Introduction - Process Calculus - Bisimulation and Trace Limits of Agents - Limit Behavior of Agents - Near Bisimulations Defined by Closures - Bisimulation Indexes Induced by Metrics - Conclusion - References
