Skip to content

Coinductive Interpreters for Process Calculi.

Lus Soares Barbosa, Jos Nuno Oliveira

Year2002
ProceedingsFLOPS

Browse the full FLOPS paper archive.