DMCA

Abstract Comparing Operational Models of Name-Passing Process Calculi ⋆

by Marcelo Fiore , Sam Staton