Robin Milner;Joachim Parrow;David Walker
-;-;-
A semantic theory for value-passing processes based on the late approach
Information and Computation