Kansikuva

Description of Paralocks Language Semantics in TLA+

Tallennettuna:
Julkaisussa:Programming and Computer Software vol. 50, no. 1 (Feb 2024), p. 53
Päätekijä: Timakov, A. A.
Julkaistu:
Springer Nature B.V.
Aiheet:
Language
Access control
Semantics
Security
Controlled release
Information flow
Flow control
Linkit:Citation/Abstract
Full Text
Full Text - PDF
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!