Composable semantic models for actor theories (1998)

by C L Talcott
Venue:HigherOrder and Symbolic Computation