Matthew Hennessy, Tim Regan. A Process Algebra for Timed Systems. Inf. Comput., 117(2):221-239, March 1995.
@article{HennessyR95, title = {A Process Algebra for Timed Systems}, author = {Matthew Hennessy and Tim Regan}, year = {1995}, month = {March}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/HennessyR95}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {117}, number = {2}, pages = {221-239}, }