Actor theories in rewriting logic (2002)

by C Talcott
Venue:Theoretical Computer Science