An actor rewriting theory (1996)

by C TALCOTT
Venue:In Workshop on Rewriting Logic