Search for dissertations about: "Daniel Hirschkoff"

Found 1 swedish dissertation containing the words Daniel Hirschkoff.

2. 1. Formalising process calculi

   Author : Jesper Bengtson; Joachim Parrow; Daniel Hirschkoff; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculi; interactive theorem proving; nominal logic; pi-calculus; CCS; psi-calculi; Computer science; Datalogi; Datavetenskap; Computer Science;

   Abstract : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. READ MORE