Generating Type Systems for Process Graphs.

Barbara Knig

Browse the full CONCUR paper archive.