An Overview of Manifold and Its Implementation. Concurrency: Practice and Experience (1993)

by F Arbab, I Herman, P Spilling