A π-calculus with explicit substitutions: The late semantics (original) (raw)

Lecture Notes in Computer Science, 1994

Abstract

... Dipartimento di Informatica, UniversitY. di Pisa {giangi, ugo, quaglia}~di, unipi, it Abstract. ... Our assumption on names could be fulfilled, for instance, by indexing names with the access path in the process leading to their declarations. ...

Paola Quaglia hasn't uploaded this paper.

Let Paola know you want this paper to be uploaded.

Ask for this paper to be uploaded.