Mechanizable Proofs about Parallel Processes

Jean-Marie Cadiou, Jean-Jacques Lvy

Browse the full FOCS paper archive.