@inproceedings{e8a1fd17df2248219b291b7e0e0bfcd6,
title = "Formal specification and verification of OSI session layer protocol using CCS",
abstract = "This paper describes an application of formal methods to protocol specification, validation and verification. The chosen formal method is the Calculus of Communicating Systems (CCS), which is used to build a CCS model of the Interconnection (OSI) Reference model session layer protocol and prove its inherent livelock using the CCS automated support.",
author = "Milica Barjaktarovic and Chin, {Shiu Kai} and Kamal Jabbour",
year = "1993",
language = "English (US)",
isbn = "0780317610",
series = "Midwest Symposium on Circuits and Systems",
publisher = "IEEE Computer Society",
pages = "1140--1143",
booktitle = "Midwest Symposium on Circuits and Systems",
address = "United States",
note = "Proceedings of the 36th Midwest Symposium on Circuits and Systems ; Conference date: 16-08-1993 Through 18-08-1993",
}