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

Hanna Klaudel, Robert-C. Riemann

Browse the full CONCUR paper archive.