A Process Algebraic Approach to Software Architecture Design James J wird im weiteren verlauf des

wird im weiteren verlauf des Kapitel 1 dargestellt

aber auch Mode

Der Anspruch

Das damit verbundene Reformkonzept sollte einen Beitrag zur Stabilität und Fortschrittlichkeit der UdSSR leisten

Secretary Dr

A Process Algebraic Approach to Software Architecture Design James J wird im weiteren verlauf desInthe? eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. 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