Pages that link to "Item:Q5357724"
From MaRDI portal
The following pages link to Verification of Population Protocols (Q5357724):
Displaying 9 items.
- Existence of home states in Petri nets is decidable (Q264201) (← links)
- Verification of population protocols (Q523133) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- The complexity of verifying population protocols (Q2025857) (← links)
- Towards efficient verification of population protocols (Q2058386) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Verification of Immediate Observation Population Protocols (Q5009448) (← links)
- (Q5111624) (← links)
- Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks (Q6084208) (← links)