Composable Semantic Models for Actor Theories

Composable Semantic Models for Actor Theories (1998)

by Carolyn L. Talcott

Venue:	Higher-Order and Symbolic Computation
Citations:	28 - 10 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Composable Semantic Models for Actor Theories	user correction - Legacy Corrections
AUTHOR NAME	Carolyn L. Talcott	SVM HeaderParse 0.1
AUTHOR AFFIL	Stanford University	SVM HeaderParse 0.2
ABSTRACT	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. 1	user correction - Legacy Corrections
YEAR	1998	INFERENCE
VENUE	Higher-Order and Symbolic Computation	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	321--364	INFERENCE
VOLUME	11	INFERENCE
CITATIONS	16 found	ParsCit 1.0