Description of Paralocks Language Semantics in TLA+

書誌詳細

出版年:	Programming and Computer Software vol. 50, no. 1 (Feb 2024), p. 53
第一著者:	Timakov, A. A.
出版事項:	Springer Nature B.V.
主題:	Language Access control Semantics Security Controlled release Information flow Flow control
オンライン･アクセス:	Citation/Abstract Full Text Full Text - PDF
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!