Well-abstracted transition systems: Application to FIFO automata.
From MaRDI portal
Publication:1401924
DOI10.1016/S0890-5401(02)00027-5zbMath1054.68092MaRDI QIDQ1401924
S. Purushothaman Iyer, Grégoire Sutre, Alain Finkel
Publication date: 19 August 2003
Published in: Information and Computation (Search for Journal in Brave)
Protocols; Acceleration; Flatness; Abstraction; Infinite state systems; FIFO automata; Regular expressions; Symbolic representation
68Q45: Formal languages and automata
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Acceleration in Convex Data-Flow Analysis, Verification of Flat FIFO Systems, Verification of programs with half-duplex communication, BOUNDED PARIKH AUTOMATA
Cites Work
- Testing for unboundedness of fifo channels
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
- The complexity of logical theories
- Reduction and covering of infinite reachability trees
- Symbolic model checking: \(10^{20}\) states and beyond
- On the equivalence, containment, and covering problems for the regular and context-free languages
- A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters
- Parallel program schemata
- On Communicating Finite-State Machines
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Derivatives of Regular Expressions
- Well-structured transition systems everywhere!
- Proving safety properties of infinite state systems by compilation into Presburger arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item