[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Towards a Toolkit for Actor System Specification
Talcott, C. L. - 2000

In this paper we describe a set of relations and transformation on actor theories that form the beginnings of a toolkit for establishing relationships between different descriptions of actor system components.