Joshua R. X. Ross

Process Calculus Based Upon Evaluation to Committed Form

Andrew M. Pitts, Joshua R. X. Ross, A. Pitts, 1996, Theor. Comput. Sci..

AICD -- Advanced Industrial Concepts Division Biological and Chemical Technologies Research Program. 1993 Annual summary report

Joshua R. X. Ross, G. Petersen, K. Bair, 1994 .

Process Calculus Based upon Evaluation to Committed Form

Andrew M. Pitts, Joshua R. X. Ross, 1996, CONCUR.