Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini. Formal Specification of Concurrent Systems: A Structured Approach. Comput. J., 41(3):145-162, 1998.
@article{MazzeoMRSV98,
title = {Formal Specification of Concurrent Systems: A Structured Approach},
author = {Antonino Mazzeo and Nicola Mazzocca and Stefano Russo and Carlo Savy and Valeria Vittorini},
year = {1998},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/MazzeoMRSV98},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {41},
number = {3},
pages = {145-162},
}