A Pi-Calculus with Explicit Substitutions: the Late Semantics

• Authors:

• Gian Luigi Ferrari;Ugo Montanari;Paola Quaglia

• Affiliations:

• -;-;-

• Venue:
• MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
• Year:
• 1994