<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Process Algebra Based on LINDA"^^ . "The problem of comparing and analyzing the relationships between distributed programs written in the same concurrent programming language is addressed. It arises each time one wants to establish program correctness with respect to a notion of \"being an approximation of\". We define a testing scenario for PAL, a process algebra which is obtained by embedding the Linda primitives for interprocess communication in a CSP like process description language. We present a proof system for PAL processes which is sound and complete with respect to the behavioural relation and illustrate how it works by giving a small example."^^ . "1996" . "1061" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Paolo"^^ . "Ciancarini"^^ . "Paolo Ciancarini"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Chris"^^ . "Hankin"^^ . "Chris Hankin"^^ . . . . . "HTML Summary of #356 \n\nA Process Algebra Based on LINDA\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .