Concurrent and Real Time Systems the CSP approach
This PDF covers the following topics related to Concurrent and Real Time Systems : The language of CSP, Sequential processes, Concurrency, Abstraction and control flow, Analyzing 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.
Author(s): Steve Schneider
525 Pages 
Concurrent Programming in ERLANG
This comprehensive note is an introduction to concurrent programming using the ERLANG language, well suited for developing robust applications. It starts with a tutorial on ERLANG basics, introducing the reader to sequential programming concepts and use of lists and tuples. Concurrent and distributed programming is at the very core, detailing strategies for managing multiple processes effectively. It is underlined that good error handling should be achieved and best programming practice performed to create a more robust application, and therefore developers can gracefully handle their problems. This note also puts emphasis on functions and standard libraries that are built in and enhanced the functionality of ERLANG. This resource is invaluable for any programmer who needs to take advantage of the best features of ERLANG in concurrent programming through the presentation of different applications and discussion on common errors in ERLANG.
Author(s): Computer Science Laboratory, Ericsson Telecommunications Systems Laboratories
205 Pages
Concurrent Programming in Harmony by Cornell
The Harmony Virtual Machine: Principles and Practice of Concurrent Programming This comprehensive guide develops the principles and practice of concurrent programming with the Harmony Virtual Machine. This comprehensive reference guide discusses key ideas such as critical sections and problems in concurrent programming. It helps readers learn about Peterson's algorithm for mutual exclusion, various locking mechanisms, and concurrent data structures. The text also explains advanced synchronization techniques, such as conditional waiting, reader/writer locks, and monitors. In addition, this book includes deadlock and starvation concepts. It talks about distributed systems with consensus algorithms such as Paxos and the protocols used for authentication, such as Needham-Schroeder. Material is structured to support theoretical understanding and practical application, making this text useful for both students and practitioners in concurrent programming.
Author(s): Robbert van Renesse
225 Pages
