Compositional Analysis for Weak Stubborn Sets - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Can Stubborn Sets Be Optimal?Antti Valmari, Henri Hansen. apn 2010: 43-62 [doi]

Can Stubborn Sets Be Optimal?Antti Valmari, Henri Hansen. FUIN, 113(3-4):377-397, 2011. [doi]

Stubborn Set Intuition ExplainedAntti Valmari, Henri Hansen. apn 2016: 213-232 [doi]

runs on WebDSL