Principles of Concurrent and Distributed ProgrammingPrinciples of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems.
Software today is inherently concurrent or distributed - from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking. |
From inside the book
Try this search over all volumes: ABS Security συναγερμοί σπιτιών - Service
Results 1-0 of 0
Other editions - View all
Common terms and phrases
Aaron arbitrary assignment atomic statements await Basil John Leo Becky binary semaphore blocked boolean buffer busy-wait Byzantine failures Byzantine Generals algorithm called channel Chloe computation concurrent programs constructs control pointer count critical section problem data structures Deficit Dekker's algorithm Dijkstra-Scholten algorithm distributed systems edge element EndWrite ensure enter its critical entry environment node false FIFO flooding algorithm following diagram fork formula gate2 gatel implemented inDeficit initial integer interleaving invariant Java JavaSpaces John Leo John Leo Mike Lemma Leo Mike Zoe Leslie Lamport Linda loop forever p1 loyal matrix multiplication monitor mutual exclusion myID myNum node2 non-critical section operation outDeficit parameters philosopher priority priority inversion process q processor Promela proof protected objects prove queue Ravenscar profile real-time systems relayed request messages scenario semaphore send messages sent server signal simulation specification synchronization task termination ticket numbers token traitor unblocked votes Majority kingPlan wait wait(S wantp wantq