Protocol Composition Logic (PCL)

From MaRDI portal
Publication:2864155

DOI10.1016/j.entcs.2007.02.012zbMath1277.68033OpenAlexW2168277905MaRDI QIDQ2864155

Anupam Datta, John C. Mitchell, Ante Derek, Arnab Roy

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.012



Related Items


Uses Software


Cites Work