Henri Hansen, Xu Wang. Compositional Analysis for Weak Stubborn Sets. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 36-43, IEEE, 2011. [doi]
Abstract is missing.