Skip to main content

Two−Categorical Models of Parallelism

C. A. R. Hoare

Month
feb
Note
LaTeXed manuscript
Year
1995