The following pages link to (Q4219024):
Displaying 14 items.
- (Q5009428) (← links)
- (Q5009453) (← links)
- Coverability, Termination, and Finiteness in Recursive Petri Nets (Q5025058) (← links)
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Q5060187) (← links)
- (Q5089304) (← links)
- (Q5090970) (← links)
- Dynamic Recursive Petri Nets (Q5100760) (← links)
- On Petri Nets with Hierarchical Special Arcs (Q5111656) (← links)
- (Q5136306) (← links)
- On the Dynamics of PB Systems with Volatile Membranes (Q5452060) (← links)
- Expressive Power of Broadcast Consensus Protocols (Q5875393) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Decidability of Resilience for Well-Structured Graph Transformation Systems (Q6487305) (← links)
- Branch-well-structured transition systems and extensions (Q6563059) (← links)