Operational Semantics

DiSquawk: 512 Cores, 512 Memories, 1 JVM