ITU

Two Guarded Recursive Powerdomains for Applicative Simulation

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings 37th Conference on Mathematical Foundations of Programming Semantics
Volume351
PublisherElectronic Proceedings in Theoretical Computer Science
Publication dateDec 2021
Pages200-217
DOIs
Publication statusPublished - Dec 2021

ID: 86562569