Verification theory and algorithms for value-passing CCS and π-calculus mutual simulation equivalence

Author: Li Zhoujun
Publisher:
Publish Date: 2005-04-01
Features: The book is divided into 11 chapters, including: Introduction, Radiation Transport Equation and Mean Opacity of Local Thermal Equilibrium, Plasma Radiation Absorption Systems and Atomic Radiation Transition Theory, Calculation of Particle Occupation Numbers, Energy Level Structures of Atoms and Ions and Optical Oscillator Strengths, Collisions between Electrons and Atoms and Electron Collision Broadening of Spectral Lines, etc.

📌 Related Posts