Team automata for security: A survey (2005)

by ter Beek, M H, G Lenzini, M Petrocchi
Venue:International Workshop on Security Issues in Coordination Models, Languages, and Systems, volume 128 of Electr. Notes in Theor. Comp. Sci