Coordinated Computing: Tools and Techniques for Distributed Software
Extends student understanding of programming languages, operating systems, & artificial intelligence through exposure to advanced ideas from different sources. Covers: models, languages, & heuristics.
What people are saying - Write a review
We haven't found any reviews in the usual places.
PART ONE FOUNDATIONS
9 other sections not shown
abort accept action actor algorithm alternative Argus asynchronous communication atomic atomic actions automata boolean buffer CACM cell clause computing systems Concurrent Pascal Concurrent Processes cons coordinated computing create critical region Data Flow database delay describe dining philosophers dining philosophers problem distributed computing Distributed Processes distributed systems elements entry evaluation example Exchange Functions executes false Fibonacci Figure fork frons goto graph guarded commands implementation in_crl input integer knowledge sources lambda calculus line-block Lisp lock loop machine mechanisms module monitor mutual exclusion nodes object operating systems output guards parameters Petri Nets PLITS port primitive priority problem Proc procedure processor programming languages queue reader readers-writers problem recursive requests resource semantics semaphore sequence shared variable specification status register storage structure subactions synchronization syntax task terminate test-and-set timestamp tokens transaction true Turing machine Turing-equivalent unbounded update waiting write