Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics)

Peter Sewell. Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics). Electronic Notes in Theoretical Computer Science, 162:317-321, 2006. [doi]

Abstract

Abstract is missing.