Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt. Temporal Structures. In David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné, editors, Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Volume 389 of Lecture Notes in Computer Science, pages 21-51, Springer, 1989.
@inproceedings{CasleyCMP89,
title = {Temporal Structures},
author = {Ross Casley and Roger F. Crew and José Meseguer and Vaughan R. Pratt},
year = {1989},
researchr = {https://researchr.org/publication/CasleyCMP89},
cites = {0},
citedby = {0},
pages = {21-51},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings},
editor = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poigné},
volume = {389},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51662-X},
}