José Luiz Fiadeiro, T. S. E. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput., 4(3):239-272, 1992.
@article{FiadeiroM92,
title = {Temporal Theories as Modularisation Units for Concurrent System Specification},
author = {José Luiz Fiadeiro and T. S. E. Maibaum},
year = {1992},
tags = {e-science},
researchr = {https://researchr.org/publication/FiadeiroM92},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {4},
number = {3},
pages = {239-272},
}