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

Transitions and Trees: An Introduction to Structural Operational Semantics

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

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

Programming Languages and Operational Semantics: A Concise Overview (Undergraduate Topics in Computer Science)