Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract)

• Authors:

• Chrysafis Hartonas;Matthew Hennessy

• Affiliations:

• -;-

• Venue:
• CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
• Year:
• 1997