Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model,

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)369-375
Number of pages7
JournalProc. of Itn.Conf. in Foundation on Computer Science 2007,
Publication statusPublished - 2007

Cite this