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 Pharo
This PDF covers the following topics related to Concurrent Programming in Pharo, Concurrent programming in Pharo, Studying an example, A simple example, Process, Process lifetime, Creating processes, First look at ProcessorScheduler, Process priorities, ProcessScheduler rules, Let us trace better what is happening, Yielding the computation, Important API, Conclusion Semaphores, Schedulers principles, Some examples of semaphores at work.
Author(s): Stephane Ducasse, Guillermo Polito
58 Pages
Start Concurrent by Barry Wittman
This page provides the book Start Concurrent, A Gentle Introduction to Concurrent Programming by Barry Wittman that covers the following topics related to Concurrent Programming, Computer Basics, Problem Solving and Programming, Primitive Types and Strings, Selection, Repetition, Arrays, Simple Graphical User Interfaces, Methods, Classes, Interfaces, Inheritance, Exceptions, Concurrent Programming, Synchronization, Constructing Graphical User Interfaces, Testing and Debugging, Polymorphism, Dynamic Data Structures, Recursion, File I O, Network Communication.
Author(s): Barry Wittman
NA Pages
Concurrent Programming in Harmony by Cornell
This PDF covers the following topics related to Concurrent Programming, On Concurrent Programming, Hello World, The Problem of Concurrent Programming, The Harmony Virtual Machine, Critical Sections, Petersons Algorithm, Harmony Methods and Pointers, Specification, Spinlock, Lock Implementations, Concurrent Data Structures, FineGrained Locking, Testing, Checking Behaviors, Debugging, Conditional Waiting, Reader Writer Locks, Bounded Buffer, Split Binary Semaphores, Starvation, Monitors, Deadlock, Actors and Message Passing, Barrier Synchronization, Interrupts, NonBlocking Synchronization, Alternating Bit Protocol, Leader Election, Transactions and Two Phase Commit, Chain Replication, Working with Actions, Replicated Atomic Read Write Register, Distributed Consensus, Paxos, NeedhamSchroeder Authentication Protocol.
Author(s): Robbert van Renesse
225 Pages
Concurrent Programming Course Material
This note covers the following topics, Foundations of Multithreaded, Parallel, and Distributed Programming, Basic Concurrency Theory, Introduction to SPIN, Concurrent Programming Practice, Processes and threads, Synchronization Mechanisms.
Author(s): Gregory R. Andrews and Hans Henrik
NA Pages
