Günter Karjoth. On the Formal Specification of Protocols in Distributed Databases. In ICCC. pages 479-484, 1986.
@inproceedings{Karjoth86, title = {On the Formal Specification of Protocols in Distributed Databases}, author = {Günter Karjoth}, year = {1986}, tags = {protocol}, researchr = {https://researchr.org/publication/Karjoth86}, cites = {0}, citedby = {0}, pages = {479-484}, booktitle = {ICCC}, }