Service-driven protocol synthesis for specific users


A family of algorithms for authomatic servicedriven protocol synthesis has been developed in the last three years by the research group at the Jo~ef Stefan Institute investigating formal specification techniques (see for example [1]). In this paper we suggest another step towards derivation of more efficient and legible protocol specifications. Protocol… (More)
DOI: 10.1016/0165-6074(93)90087-2

1 Figure or Table


  • Presentations referencing similar topics