Michael D. Pedersen

Learn More
and is based on a project proposal by Hans Hüttel. The thesis strengthens and goes beyond the work presented in the DAT5 project entitled A Logic of Frames in the Applied π Calculus. Familiarity with process calculi (e.g. CCS, the π calculus and associated modal logics) corresponding to the level given in the DAT4 course Semantics and Verification and the(More)
  • 1