Mathematical Foundations of Computer Science 2003

DOI10.1007/B11836zbMath1124.94302OpenAlexW2495578842MaRDI QIDQ5431294

Roberto Gorrieri, Fabio Martinelli

Publication date: 7 December 2007

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

Full work available at URL: https://doi.org/10.1007/b11836

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Casper

This page was built for publication: Mathematical Foundations of Computer Science 2003