책 이미지
eBook 미리보기
책 정보
· 제목 : Process Algebra: Equational Theories of Communicating Processes (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521820493
· 쪽수 : 460쪽
· 출판일 : 2009-12-16
· 분류 : 외국도서 > 컴퓨터 > 수학/통계 소프트웨어
· ISBN : 9780521820493
· 쪽수 : 460쪽
· 출판일 : 2009-12-16
목차
Preface; 1. Process algebra; 2. Preliminaries; 3. Transition systems; 4. Basic process theory; 5. Recursion; 6. Sequential processes; 7. Parallel and communicating processes; 8. Abstraction; 9. Timing; 10. Data and states; 11. Features; 12. Semantics; Bibliography; Index of symbols and notations; Index of authors; Index of subjects.
