Deriving protocol specifications from service specifications
Gregor von Bochmann, Reinhard Gotzhein · ACM SIGCOMM Computer Communication Review · 1986
article Deriving protocol specifications from service specifications Share on Authors: G von Bochmann Département d'IRO, Université de Montréal, C.P. 6128, Succursale A, Montréal, Québec, H3C 3J7, Canada Département d'IRO, Université de Montréal, C.P. 6128, Succursale A, Montréal, Québec, H3C 3J7, CanadaView Profile , R Gotzhein Département d'IRO, Université de Montréal, C.P. 6128, Succursale A, Montréal, Québec, H3C 3J7, Canada Département d'IRO, Université de Montréal, C.P. 6128, Succursale A, Montréal, Québec, H3C 3J7, CanadaView Profile Authors Info & Claims ACM SIGCOMM Computer Communication ReviewVolume 16Issue 3Aug. 5, 1986 pp 148–156https://doi.org/10.1145/1013812.18190Online:01 August 1986Publication History 32citation354DownloadsMetricsTotal Citations32Total Downloads354Last 12 Months19Last 6 weeks5 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access