Specification and verification techniques for parallel programs based on message parsing semantics
Author(s)
Bibliographic Information
Specification and verification techniques for parallel programs based on message parsing semantics
Laboratory for Computer Science, Massachusetts Institute of Technology, 1977
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
***記述は遡及データによる
Thesis--Massachusetts Institute of Technology
Includes bibliographical references (p. 204-209)