Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. Specification Styles in Distributed Systems Design and Verification. Theoretical Computer Science, 89(1):179-206, 1991.
@article{VissersSSB91,
title = {Specification Styles in Distributed Systems Design and Verification},
author = {Chris A. Vissers and Giuseppe Scollo and Marten van Sinderen and Ed Brinksma},
year = {1991},
tags = {design},
researchr = {https://researchr.org/publication/VissersSSB91},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {89},
number = {1},
pages = {179-206},
}