The following pages link to Grégoire Sutre (Q1401923):
Displaying 13 items.
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- On boundedness problems for pushdown vector addition systems (Q1675154) (← links)
- Co-finiteness and co-emptiness of reachability sets in vector addition systems with states (Q2280187) (← links)
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness (Q2842102) (← links)
- Safety Verification of Communicating One-Counter Machines (Q2957494) (← links)
- (Q3044342) (← links)
- Decidable Topologies for Communicating Automata with FIFO and Bag Channels (Q3190124) (← links)
- (Q3408150) (← links)
- (Q5089304) (← links)
- (Q5090970) (← links)
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems (Q5090985) (← links)
- Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One (Q5111451) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311488) (← links)
