Jos C. M. Baeten, Jan A. Bergstra. Discrete Time Process Algebra. Formal Asp. Comput., 8(2):188-208, 1996.
@article{BaetenB96:0,
title = {Discrete Time Process Algebra},
author = {Jos C. M. Baeten and Jan A. Bergstra},
year = {1996},
tags = {process algebra, C++, algebra},
researchr = {https://researchr.org/publication/BaetenB96%3A0},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {8},
number = {2},
pages = {188-208},
}