Gwen Salaün, Michel Allemand, Christian Attiogbé. Specification of an Access Control System with a Formalism Combining CCS and CASL. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]
Abstract is missing.