Steve Schneider. Timewise Refinement for Communicating Processes. Science of Computer Programming, 28(1):43-90, 1997.
@article{Schneider97:9, title = {Timewise Refinement for Communicating Processes}, author = {Steve Schneider}, year = {1997}, tags = {refinement}, researchr = {https://researchr.org/publication/Schneider97%3A9}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {28}, number = {1}, pages = {43-90}, }