Back to Results
First PageMeta Content
Theoretical computer science / Concurrent computing / Formal methods / Consistency model / Transaction processing / Sequential consistency / Actor model / Parallel computing / Formal verification / Computing / Data / Logic in computer science


FORMALIZATION AND VERIFICATION OF SHARED MEMORY
Add to Reading List

Document Date: 2005-01-05 10:38:15

Open Document

File Size: 628,06 KB

Share Result on Facebook
UPDATE