An Axiomatic Semantics for Nested Concurrency

Sigurd Meldal. An Axiomatic Semantics for Nested Concurrency. BIT, 26(2):164-174, 1986.

Bibliographies