<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A General Name Binding Mechanism"^^ . "We study fusion and binding mechanisms in name passing\r\nprocess calculi. To this purpose, we introduce the U-Calculus, a process\r\ncalculus with no I/O polarities and a unique form of binding. The latter\r\ncan be used both to control the scope of fusions and to handle new name\r\ngeneration. This is achieved by means of a simple form of typing: each\r\nbound name x is annotated with a set of exceptions, that is names that\r\ncannot be fused to x. The new calculus is proven to be more expressive\r\nthan pi-calculus and Fusion calculus separately. In U-Calculus, the syntactic\r\nnesting of name binders has a semantic meaning, which cannot be\r\novercome by the ordering of name extrusions at runtime. Thanks to this\r\nmixture of static and dynamic ordering of names, U-Calculus admits a\r\nform of labelled bisimulation which is a congruence. This property yields\r\na substantial improvement with respect to previous proposals by the\r\nsame authors aimed at unifying the above two languages. The additional\r\nexpressiveness of U-Calculus is also explored by providing a uniform encoding\r\nof mixed guarded choice into the choice-free sub-calculus."^^ . "2005" . "3705" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Davide"^^ . "Sangiorgi"^^ . "Davide Sangiorgi"^^ . . . . . "HTML Summary of #127 \n\nA General Name Binding Mechanism\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .