Algebraic Stuttering Simulations
Open Access
- 1 April 2008
- journal article
- research article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 206, 91-110
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002
- Equational rules for rewriting logicTheoretical Computer Science, 2002
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Rewriting logic: roadmap and bibliographyTheoretical Computer Science, 2002
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988