Nothing Special   »   [go: up one dir, main page]

"On the Formal Specification and Verification of a Multiparty Session Protocol."

Pau-Chen Cheng, Virgil D. Gligor (1990)

Details and statistics

DOI: 10.1109/RISP.1990.63853

access: closed

type: Conference or Workshop Paper

metadata version: 2023-09-21