Specification of an Access Control System with a Formalism Combining CCS and CASL.

Gwen Salaün Michel Allemand Christian Attiogbé Specification of an Access Control System with a Formalism Combining CCS and CASL. 2002 conf/ipps/2002 IPDPS http://computer.org/proceedings/ipdps/1573/workshops/15730211babs.htm db/conf/ipps/ipdps2002.html#SalaunAA02