Rachel Cardell-Oliver. An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. Journal of Logic and Computation, 8(4):545-567, 1998.
@article{Cardell-Oliver98,
title = {An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs},
author = {Rachel Cardell-Oliver},
year = {1998},
tags = {semantics, operational semantics},
researchr = {https://researchr.org/publication/Cardell-Oliver98},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {8},
number = {4},
pages = {545-567},
}