Stephen A. Jarvis Books
Concurrent Systems: Formal Development in Csp
The advent of concurrent systems undoubtedly promises greatly increased processing power. These systems, however, are inherently complex and present many new problems at both the design and impleme...
Read More