Specification of an Access Control System with a Formalism Combining CCS and CASL.
Gwen SalaünMichel AllemandJ. Christian AttiogbéPublished in: IPDPS (2002)
Keyphrases
- control system
- closed loop
- conceptual model
- control strategy
- transition systems
- operational semantics
- access control
- fuzzy logic
- real environment
- knowledge representation
- data model
- high level
- controller design
- random access
- formal theory
- formal language
- control scheme
- logical framework
- formal methods
- control law
- formal specification
- pid controller
- data sets
- formal model
- search engine