Handbook of Process Algebra More Books Like This

Proof and Computation Proof and Computation
Proof and Computation
2018
Logic Colloquium '87 (Enhanced Edition) Logic Colloquium '87 (Enhanced Edition)
Logic Colloquium '87 (Enhanced Edition)
2000
Lectures on the Curry-Howard Isomorphism Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
2006
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Genealogies of Interacting Particle Systems Genealogies of Interacting Particle Systems
Genealogies of Interacting Particle Systems
2020
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
Relations: Concrete, Abstract, and Applied
2020
Theory of Computational Complexity Theory of Computational Complexity
Theory of Computational Complexity
2014
Complexity, Logic, and Recursion Theory Complexity, Logic, and Recursion Theory
Complexity, Logic, and Recursion Theory
2019
The Digital and the Real World The Digital and the Real World
The Digital and the Real World
2017
Boolean Reasoning Boolean Reasoning
Boolean Reasoning
2012
Continuous Semi-Markov Processes Continuous Semi-Markov Processes
Continuous Semi-Markov Processes
2013
Structure And Randomness In Computability And Set Theory Structure And Randomness In Computability And Set Theory
Structure And Randomness In Computability And Set Theory
2020
Theory of Markov Processes Theory of Markov Processes
Theory of Markov Processes
2012
Realizability Realizability
Realizability
2008
Computability Theory Computability Theory
Computability Theory
2017