Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.

Milica Barjaktarovic Shiu-Kai Chin Kamal Jabbour Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. 270-279 1996 ISSTA http://doi.acm.org/10.1145/229000.226325 db/conf/issta/issta96.html#BarjaktarovicCJ96