Soonwon Moon

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Operational Semantics

Activity Diagrams

Top Venues

Proc. ACM Program. Lang.

Publications

Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
Fair Operational Semantics. Proc. ACM Program. Lang. 7 (PLDI) (2023)