Iterating transducers
From MaRDI portal
Publication:1858440
DOI10.1016/S1567-8326(02)00025-5zbMath1008.68062OpenAlexW4210787360MaRDI QIDQ1858440
Martin Steffen, Dennis Dams, Yassine Lakhneche
Publication date: 13 February 2003
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00025-5
Related Items (4)
Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ ITERATION OF INVERTIBLE TRANSDUCTIONS ⋮ View abstraction for systems with component identities
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
This page was built for publication: Iterating transducers
