Monika Kapus-Kolar. Deriving protocol specifications from service specifications including multirendezvous. Journal of Systems Architecture, 35(1-5):369-374, 1992. [doi]
@article{Kapus-Kolar92, title = {Deriving protocol specifications from service specifications including multirendezvous}, author = {Monika Kapus-Kolar}, year = {1992}, doi = {10.1016/0165-6074(92)90340-D}, url = {http://dx.doi.org/10.1016/0165-6074(92)90340-D}, researchr = {https://researchr.org/publication/Kapus-Kolar92}, cites = {0}, citedby = {0}, journal = {Journal of Systems Architecture}, volume = {35}, number = {1-5}, pages = {369-374}, }