Pages that link to "Item:Q5326330"
From MaRDI portal
The following pages link to Runtime Verification Based on Register Automata (Q5326330):
Displaying 8 items.
- Regular and context-free nominal traces (Q530218) (← links)
- A theory of monitors (Q2051767) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Reachability in pushdown register automata (Q2396722) (← links)
- Polynomial-time equivalence testing for deterministic fresh-register automata (Q5005176) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- On-the-fly bisimilarity checking for fresh-register automata (Q6168987) (← links)
