<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Testing Semantics of Asynchronous Distributed Programs"^^ . "The algebraic approach to concurrency is tuned for modelling operational semantics and supporting formal verification of distributed imperative programs with asynchronous communications. We consider an imperative process algebra, IPAL, which is obtained by embedding the Linda primitives for interprocess communication in a CSP-like process description language enriched with a construct for assignment. We setup a testing scenario and present a proof system for IPAL which is sound and complete with respect to the induced behavioural relations."^^ . "1997" . "1192" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Mads"^^ . "Dam"^^ . "Mads Dam"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #358 \n\nTesting Semantics of Asynchronous Distributed Programs\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .