Simulating liveness by reduction strategies

J. Giesl, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003, Valencia, Spain, June 8, 2003)
EditorsB. Gramlich, S. Lucas
Publication statusPublished - 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this