scientific article; zbMATH DE number 7471708
From MaRDI portal
Publication:5028474
Recommendations
- Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
- Reachability problems in piecewise FIFO systems
- scientific article; zbMATH DE number 4115984
- Decidability results for the boundedness problem
- Boundedness problems for Minsky counter machines
- Boundedness problems for Minsky counter machines
- Some decidable results on reachability of solvable systems
- Decidability of the Petri net reachability problem
- Decidability of the reachability problem for pushdown relational automata
- Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
Cites work
- scientific article; zbMATH DE number 5605092 (Why is no real title available?)
- scientific article; zbMATH DE number 5286864 (Why is no real title available?)
- scientific article; zbMATH DE number 4043216 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- A perfect model for bounded verification
- A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets
- Adjacent ordered multi-pushdown systems
- An Algorithm for the General Petri Net Reachability Problem
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
- Automates a file
- Bounded Algol-Like Languages
- Context-Bounded Analysis of Concurrent Queue Systems
- Emptiness of ordered multi-pushdown automata is 2ETIME-complete
- Fifo nets without order deadlock
- Forward analysis and model checking for trace bounded WSTS
- Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems
- On Communicating Finite-State Machines
- On the \(k\)-synchronizability of systems
- Reachability analysis of communicating pushdown systems
- Testing for unboundedness of fifo channels
- The tree width of auxiliary storage
- Unboundedness detection for a class of communicating finite-state machines
- Using forward reachability analysis for verification of lossy channel systems
- Verification of flat FIFO systems
- Verification of programs with half-duplex communication
- Verifying communicating multi-pushdown systems via split-width
- Well-structured transition systems everywhere!
Cited in
(3)
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 Q5028474)
