We define three semantic models for actor computation starting with a generalization to open systems of Clingerâ€™s event diagram model, and forming two abstractions: interaction diagrams and interaction paths. An algebra is defined on each semantic domain with operations for parallel composition, hiding of internal actors, and renaming. We use these models to provide semantics for descriptions of actor components based on actor theories and show that the semantics is a component algebra homomorphism.
Keywords: actors, composable semantics, event diagrams, interaction diagrams interaction semantics, component algebra