Finite Precision Number Systems and Arithmetic: Series... - Kornerup, Peter

Transitions and Trees: An Introduction to Structural Operational Semantics

THEORY OF CRITICAL PHENOMENA IN FINITE-SIZE SYSTEMS: SCALING AND QUANTUM EFFECTS

Quantum Theory of Finite Systems

Communication: general semantics perspectives

Thermodynamics of Finite Systems and the Kinetics of First-Order Phase Transitio

Modeling and Analysis of Communicating Systems by Jan Friso Groote Paperback Boo

Temporal Logics in Computer Science: Finite-State Systems By Ste