Abstract patterns of compositional reasoning (0)

by N Amla, E A Emerson, K Namjoshi, R Tefler
Venue:In Proceedings of the 14th International Conference on Concurrency Theory