Prefix-Based Tracing in Message-Passing Concurrency.

Juan Jos Gonzlez-Abril, Germn Vidal

Browse the full LOPSTR paper archive.