Login / Signup

High Level Expressions with their SOS Semantics (Extended Abstract).

Hanna KlaudelRobert-C. Riemann
Published in: CONCUR (1997)
Keyphrases