3613710

Specification of an access control system with a formalism combining CCS and CASL

G. Salaun;M. Allemand;C. Attiogbe

Universite de Nantes

2002

6/24/1905 12:00:00 AM

"Access control","Carbon capture and storage","Proposals","Specification languages","Software systems","Algebra","Concurrent computing","Concrete","Application software","Software engineering"

ieee

Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM

0-7695-1573-8

conf

10.1109/IPDPS.2002.1016624

1016624