Comparing Operational Models of Name−Passing Process Calculi
Marcelo P. Fiore and Sam Staton
Book Title
Proceedings of the Workshop on Coalgebraic Methods in Computer Science‚ CMCS 2004‚ Barcelona‚ Spain‚ March 27−29‚ 2004
Editor
Jirí Adámek and Stefan Milius
Pages
91–104
Publisher
Elsevier
Series
Electronic Notes in Theoretical Computer Science
Volume
106
Year
2004