Concurrent secrets (Q2465424): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s10626-007-0020-5 / rank | |||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590815 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Supervisory Control of a Class of Discrete Event Processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S10626-007-0020-5 / rank | |||
Normal rank |
Latest revision as of 19:37, 18 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concurrent secrets |
scientific article |
Statements
Concurrent secrets (English)
0 references
4 January 2008
0 references
Supervisory control
0 references
Computer security
0 references
Opacity
0 references
Concurrency
0 references
Automata
0 references