Skip to content

Selecting Theories and Recursive Protocols.

Tomasz Truderung

VenueBCONCUR
Year2005
ProceedingsCONCUR

Browse the full CONCUR paper archive.