Olaf Owe. Axiomatic Treatment of Processes with shared Variables Revisited. Formal Asp. Comput., 4(4):323-340, 1992.
@article{Owe92, title = {Axiomatic Treatment of Processes with shared Variables Revisited}, author = {Olaf Owe}, year = {1992}, researchr = {https://researchr.org/publication/Owe92}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {4}, number = {4}, pages = {323-340}, }