Actor Theories in Rewriting Logic (0)

by C L Talcott
Venue:J. Theoretical Computer Science