Using Maude and its strategies for defining a framework for analyzing Eden semantics
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2006
Pages: 64-79
Type: Communication dans un congrès