Better Late Than Never: A Fully-abstract Semantics for Classical Processes

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Better Late Than Never: A Fully-abstract Semantics for Classical Processes'. Together they form a unique fingerprint.

Engineering & Materials Science