Full Abstraction in Structural Operational Semantics (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Full Abstraction in Structural Operational Semantics (extended abstract)'. Together they form a unique fingerprint.

Computer Science

Physics

Psychology

Mathematics

Chemistry