Concurrency : state models & Java programs /
| Основен автор: | Magee, Jeff, 1952- |
|---|---|
| Други автори: | Kramer, Jeff. |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Chichester, England ; Hoboken, NJ :
Wiley,
c2006.
|
| Предмети: | |
| Онлайн достъп: |
Table of contents Publisher description Contributor biographical information Book jacket |
Съдържание:
- Processes and threads
- Concurrent execution
- Shared objects and mutual exclusion
- Monitors and condition synchronization
- Deadlock
- Safety and liveness properties
- Model-based design
- Dynamic systems
- Message passing
- Concurrent architectures
- Timed systems
- Program verification
- Logical properties
- Appendix A : FSP quick reference
- Appendix B : FSP language specification
- Appendix C : FSP semantics
- Appendix D : UML class diagrams.