Comparing Operational Models of Name-Passing Process Calculi

Marcelo P. Fiore, Sam Staton. Comparing Operational Models of Name-Passing Process Calculi. Electronic Notes in Theoretical Computer Science, 106:91-104, 2004. [doi]

Authors

Marcelo P. Fiore

This author has not been identified. Look up 'Marcelo P. Fiore' in Google

Sam Staton

This author has not been identified. Look up 'Sam Staton' in Google