scientific article; zbMATH DE number 1754582
From MaRDI portal
Publication:4535007
zbMATH Open0986.68517MaRDI QIDQ4535007FDOQ4535007
Authors: Ahmed Bouajjani 
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760024
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3982543
- Publication:4939270
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Infinitary rewriting: foundations revisited
- Recognizable and logically definable languages of infinite computations in concurrent automata
- scientific article; zbMATH DE number 1722708
- scientific article; zbMATH DE number 3158402
- Computer Science Logic
- scientific article; zbMATH DE number 3254898
Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (12)
- Generalized rewrite theories, coherence completion, and symbolic methods
- Iterating transducers
- On the complexity of checking semantic equivalences between pushdown processes and finite-state processes
- Taming the infinite: Verification of infinite-state reactive systems by finitary means
- Rewriting systems over nested data words
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
- Verification of infinite-state systems with applications to security. Proceedings of the NATO Advanced Research Workshop on verification of infinite-state systems with applications to security, Timaşoara, Romania, March 17--22, 2005
- Monotonic Abstraction for Programs with Dynamic Memory Heaps
- A general approach to comparing infinite-state systems with their finite-state specifications
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Invariants and closures in the theory of rewrite systems
Uses Software
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 Q4535007)
