Search for dissertations about: "K V S Prasad"

Found 1 swedish dissertation containing the words K V S Prasad.

2. 1. Combinators and Bisimulation Proofs for Restartable Systems

   Author : K V S Prasad; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : During recent years, calculi for reasoning about concurrent systems have been developed; examples are CCS (Calculus of Communicating Systems), CSP (Communicating Sequential Processs) and ACP (Algebra of Communicating Processes). Their theory has been studied intensively; rather less has been done in applying these calculi to problems of significant size. READ MORE