Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronical notes in theoretical computer science |
Vol/bind | 27 |
ISSN | 1571-0661 |
Status | Udgivet - 2000 |
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages
Anna Ingolfsdottir, R. Pugliese
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review