Angelic semantics of fine-grained concurrency

Dan R. Ghica, Andrzej S. Murawski. Angelic semantics of fine-grained concurrency. Annals of Pure and Applied Logic, 151(2-3):89-114, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.