Formal specification and verification of the osi session layer using the calculus of communicating systems (ccs)

• Authors:

• Milica Barjaktarovic

• Affiliations:

• -

• Venue:
• Formal specification and verification of the osi session layer using the calculus of communicating systems (ccs)
• Year:
• 1995