Skip to search boxSkip to navigationSkip to main content

Two Guarded Recursive Powerdomains for Applicative Simulation

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-review

Original language

English

Pages from-to (Number of pages)

Pages 200-217

Publication milestones

  • Published - 12/2021

Publication status

Published - 12/2021

Volume

351

Publisher

Electronic Proceedings in Theoretical Computer Science

Publication IDs

  • Scopus: 85122282218

Host publication title

Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

Publication metrics

Access to documents

Related Event

Title

Conference on Mathematical Foundations of Programming Semantics

Event type

Conference

Date

30/08/2021 - 02/09/2021

Location

VIRTUALAustria