%0 Journal Article %1 journals/logcom/Cardell-Oliver98 %A Cardell-Oliver, Rachel %D 1998 %J J. Log. Comput. %K %N 4 %P 545-567 %T An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs. %U http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#Cardell-Oliver98 %V 8

@article{journals/logcom/Cardell-Oliver98, added-at = {2023-12-12T19:45:11.000+0100}, author = {Cardell-Oliver, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/2162f8cee6b59dca657d78097d0647b4e/admin}, ee = {http://dx.doi.org/10.1093/logcom/8.4.545}, interhash = {2585e7036b63b25e5fd7553ebe73b5bd}, intrahash = {162f8cee6b59dca657d78097d0647b4e}, journal = {J. Log. Comput.}, keywords = {}, number = 4, pages = {545-567}, timestamp = {2023-12-12T19:45:11.000+0100}, title = {An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#Cardell-Oliver98}, volume = 8, year = 1998 }