Similar Items: An algebraic framework for reasoning about privacy
- A survey of proof systems for CSP
- An algebraic framework for reasoning about security
- An LTL verification system based on automata theory
- The design of a specification language suitable for the generation of compilers
- A model checker for the LF system
- Reducing the state explosion problem during model checking