Iterating transducers

DOI10.1016/S1567-8326(02)00025-5zbMath1008.68062MaRDI QIDQ1858440

Martin Steffen, Yassine Lakhneche, Dennis Dams

Publication date: 13 February 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

model checking; rewrite systems; transducers; regular model checking

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Permutation rewriting and algorithmic verification
• An implementation of an efficient algorithm for bisimulation equivalence
• Theoretical computer science. 5th GI-Conference, Karlsruhe, March 23--25, 1981
• CAAP '90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
• Symbolic model checking: \(10^{20}\) states and beyond
• Transductions des langages de Chomsky
• Sur les rélations rationnelles entre monoides libres
• Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings
• CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings
• Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
• CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings
• Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings
• Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
• Forward and backward simulations. II: Timing-based systems
• Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceedings
• On theories with a combinatorial definition of 'equivalence'
• Graph-Based Algorithms for Boolean Function Manipulation
• Three Partition Refinement Algorithms
• Iterated a-NGSM maps and Γ systems
• Regular Model Checking using Widening Techniques
• Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
• On Relations Defined by Generalized Finite Automata
• Some Properties of Conversion
• Symbolic model checking with rich assertional languages
• Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings
• Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings