Composable Semantic Models for Actor Theories (1998)

by Carolyn L. Talcott
Venue:Higher-Order and Symbolic Computation