Iterating transducers
type: Item
instance of: scholarly article
title: Iterating transducers
zbMATH Open document ID: 1008.68062
DOI: 10.1016/S1567-8326(02)00025-5
author: Dennis Dams
author: Martin Steffen
author: Yassine Lakhnech
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-02-13T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1868274
zbMATH Keywords: model checking
zbMATH Keywords: regular model checking
zbMATH Keywords: transducers
zbMATH Keywords: rewrite systems
MaRDI profile type: Publication
cites work: Q4817539
cites work: Q4804925
cites work: Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
cites work: CAAP '90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
cites work: Q3859267
cites work: Q4846257
cites work: Q4535007
cites work: Q2754102
cites work: Permutation rewriting and algorithmic verification
cites work: Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Q4223065
cites work: Some Properties of Conversion
cites work: Theoretical computer science. 5th GI-Conference, Karlsruhe, March 23--25, 1981
cites work: CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings
cites work: Q4079524
cites work: On Relations Defined by Generalized Finite Automata
cites work: Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings
cites work: Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
cites work: An implementation of an efficient algorithm for bisimulation equivalence
cites work: Q4223067
cites work: Q4474215
cites work: Q4847003
cites work: Q5576254
cites work: Q1972822
cites work: Q4037383
cites work: Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
cites work: Q3862379
cites work: Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
cites work: Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings
cites work: Q4518896
cites work: Symbolic model checking with rich assertional languages
cites work: Q5581665
cites work: Q4251913
cites work: Forward and backward simulations. II: Timing-based systems
cites work: Q3992568
cites work: On theories with a combinatorial definition of 'equivalence'
cites work: Transductions des langages de Chomsky
cites work: Three Partition Refinement Algorithms
cites work: Q3907077
cites work: Q2754094
cites work: CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings
cites work: Sur les rélations rationnelles entre monoides libres
cites work: Regular Model Checking using Widening Techniques
cites work: Q3999156
cites work: Iterated a-NGSM maps and Γ systems
full work available at URL: s1567-8326(02)00025-5
OpenAlex ID: W4210787360
description: scientific article; zbMATH DE number 1868274