A Process Algebraic Approach to Software Architecture Design
Hardcover
$54.99
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Select a store to view item availability.
Inthe field off or malmethods in computer science, concurrency theory is receiving a constantlyincreasinginterest.This is especially true for process algebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP,-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating c...






















