Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Transitions and Trees: An Introduction to Structural Operational Semantics

Operational Methods In Semantics: 18 (Lecture Notes Series on Computing)

Governance Beyond Earth: Decision Authority, Verification, and Evidence Integrity for Lunar Operations

Governance Beyond Earth: Decision Authority, Verification, and Evidence Integrity for Lunar Operations