Published January 1, 1982 | public
Technical Report Open

Formal Specification of Concurrent Systems

Abstract

No Abstract.

Files

5042_TR_82.pdf
Files (3.9 MB)
Name Size Download all
md5:92959a0e1142f2e9b671a8c8ade2f793
1.8 MB Preview Download
md5:ee48b024a0d36f2ea9c03ae687f0a163
2.1 MB Download

Additional details

Created:
August 19, 2023
Modified:
January 29, 2025