Two Guarded Recursive Powerdomains for Applicative Simulation
- ,
- Andrea Vezzosi
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 200-217Publication milestones
- Published - 12/2021
Publication status
Published - 12/2021
Volume
351Publisher
Electronic Proceedings in Theoretical Computer SciencePublication IDs
- Scopus: 85122282218
Host publication title
Proceedings 37th Conference on Mathematical Foundations of Programming SemanticsPublication metrics
PlumX, opens in new tab
Citation count
10
Access to documents
Related Event
Title
Conference on Mathematical Foundations of Programming Semantics
Event type
ConferenceDate
30/08/2021 - 02/09/2021Location
VIRTUALAustria