<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Symbolic Semantics for the pi-Calculus"^^ . "We use symbolic transition systems as a basis for providing theπ-calculus with an alternative semantics. The latter is more amenable to automatic manipulation and sheds light on the logical differences among different forms of bisimulation over algebras of name-passing processes. Symbolic transitions have the form[formula], whereφis a boolean combination of equalities on names that has to hold for the transition to take place, andαis standard aπ-calculus action. On top of the symbolic transition system, a symbolic bisimulation is defined that captures the standard ones. Finally, a sound and complete proof system is introduced for symbolic bisimulation."^^ . "1996" . "126" . "1" . . "Elsevier"^^ . . . "Information and Computation"^^ . . . "08905401" . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . . . . "HTML Summary of #361 \n\nA Symbolic Semantics for the pi-Calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .