P.H.M. America

A proof theory for process creation

F. S. deBoer, P.H.M. America, 1991 .

A parallel object-oriented language: design and semantic foundations

P.H.M. America, J.J.M.M. Rutten, J. Rutten, 1989 .