Concepedia

Publication | Closed Access

Semantics of nondeterminism, concurrency, and communication

DOI

91

Citations

15

References

1979

Year

Nissim Francez, C. A. R. Hoare, Daniel Lehmann, Willem P. de Roever
Journal of Computer and System Sciences

References

YearCitations

Page 1