A Temporal Process Algebra

@inproceedings{Hennessy1990ATP,
  title={A Temporal Process Algebra},
  author={Matthew Hennessy and Tim Regan},
  booktitle={FORTE},
  year={1990}
}