Stubborn sets with frozen actions

DOI10.1007/978-3-319-67089-8_12zbMath1478.68181OpenAlexW2747912422MaRDI QIDQ1685794

Antti Valmari

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_12

zbMATH Keywords

safety propertiespartial-order methodsstubborn setsignoring problem

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Stubborn versus structural reductions for Petri nets ⋮ Stubborn Sets, Frozen Actions, and Fair Testing

This page was built for publication: Stubborn sets with frozen actions