scientific article; zbMATH DE number 1759422

MaRDI QIDQ4536371zbMATH OpenFDO

Authors Grégoire Sutre, Alain Finkel

Publication date 7 October 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CONCUR 2004 - Concurrency Theory
• Reachability in two-dimensional vector addition systems with states is PSPACE-complete
• scientific article; zbMATH DE number 1500528
• Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
• scientific article; zbMATH DE number 3928356

Cited in

(4)

• On the \(\omega\)-language expressive power of extended Petri nets
• scientific article; zbMATH DE number 1500528 (Why is no real title available?)
• Reachability for two-counter machines with one test and one reset
• New pumping technique for 2-dimensional VASS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536371)