A Semantically Sound Actor Tranlsation.

Ian A. Mason, Carolyn L. Talcott

Browse the full ICALP paper archive.