The Congruences below Fair Testing with Initial Stability - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Antti Valmari. The Congruences below Fair Testing with Initial Stability. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 25-34, IEEE Computer Society, 2016. [doi]

The following publications are possibly variants of this publication:

All congruences below stability-preserving fair testing or CFFDAntti Valmari. ACTA, 57(3-5):353-383, 2020. [doi]

runs on WebDSL