Skip to content

Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.

Martin Berger

VenueBCONCUR
Year2004
ProceedingsCONCUR

Browse the full CONCUR paper archive.