Daniel Dougherty Protocols, Strands, and Logic - Springer Nature 2021 - Lecture Notes in Computer Science . One time purchase [Perpetual access] ISSN: 9783030916312 Subjects--Topical Terms: Computer Science