Research outputs (1)

1. Published

   Two Guarded Recursive Powerdomains for Applicative Simulation

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review