Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5308472
DOI10.1007/B95995zbMath1126.68423OpenAlexW3105029025MaRDI QIDQ5308472
Roberto Zunino, Pierpaolo Degano
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95995
Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
This page was built for publication: Foundations of Software Science and Computation Structures