Omslagsbillede

Description of Paralocks Language Semantics in TLA+

Guardado en:
Udgivet i:Programming and Computer Software vol. 50, no. 1 (Feb 2024), p. 53
Hovedforfatter: Timakov, A. A.
Udgivet:
Springer Nature B.V.
Fag:
Language
Access control
Semantics
Security
Controlled release
Information flow
Flow control
Online adgang:Citation/Abstract
Full Text
Full Text - PDF
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!