![](/img/cover-not-exists.png)
Semantics subsystem in distributed OS formalization generating system
He, Yanxiang, Zhang, Jianping, Cooley, Donald H., Chen, LiVolume:
31
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/271019.271036
Date:
October, 1997
File:
PDF, 350 KB
english, 1997