Deriving protocol specifications from service specifications

Abstract

Article Free Access Share on Deriving protocol specifications from service specifications 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 SIGCOMM '86: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocolsSeptember 1986Pages 148–156https://doi.org/10.1145/18172.18190Published:01 August 1986Publication History 33citation398DownloadsMetricsTotal Citations33Total Downloads398Last 12 Months22Last 6 weeks4 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 SiteeReaderPDF