Yukihide Takayama. Defining Concurrent Processes Constructively. Theoretical Computer Science, 122(1&2):137-164, 1994.
@article{Takayama94,
title = {Defining Concurrent Processes Constructively},
author = {Yukihide Takayama},
year = {1994},
researchr = {https://researchr.org/publication/Takayama94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {122},
number = {1&2},
pages = {137-164},
}