An Axiomatic Semantics for Nested Concurrency

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.