The Limit of Split_n-Bisimulations for CCS Agents.

Roberto Gorrieri, Cosimo Laneve

Browse the full MFCS paper archive.