책 이미지
eBook 미리보기
책 정보
· 제목 : Concurrent and Real-Time Systems: The CSP Approach (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 데이터 프로세싱
· ISBN : 9780471623731
· 쪽수 : 528쪽
· 출판일 : 1999-11-22
· 분류 : 외국도서 > 컴퓨터 > 데이터 프로세싱
· ISBN : 9780471623731
· 쪽수 : 528쪽
· 출판일 : 1999-11-22
목차
THE LANGUAGE OF CSP.
Sequential Processes.
Concurrency.
Abstraction and Control Flow.
ANALYSING PROCESSES.
Traces.
Specification and Verification with Traces.
Stable Failures.
Specification and Verification with Failures.
Failures, Divergences, and Infinite Traces.
INTRODUCING TIME.
The Timed Language.
Timed Transition Systems.
TIMED ANALYSIS.
Semantics of Timed CSP.
Timed Specification and Verification.
Timewise Refinement.
Appendices.
References.
Notation.
Indexes.
