TY - CPAPER AU - Darlington,J AU - Guo,Y PB - Springer-Verlag PY - 1994/// TI - Formalising Actors in Linear Logic ER -