,
elsevier
Theoretical Computer Science

America, P., & de Bakker, J. (1988). Designing equivalent semantic models for process creation. Theoretical Computer Science, 60(2), 109–176.