Process Algebra Primitives for File Transfer

                      Jan A. Bergstra
                        Alban Ponse
 
Action primitives for sequential file transfer are presented in the style
of the early input action of [BB94].