Giters

mheinzel / join-thesis

Implementing the Distributed Join Calculus using Actors

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Implementing the Distributed Join Calculus using Actors

  • thesis/: LaTeX source of the thesis PDF (including some implementation examples)
  • implementation/experiments: Haskell model of ActorPi (typed pi-calculus corresponding to actor model), including type checker and pretty-printing to LaTeX
  • implementation/join: Small Erlang DSL that allows writing and running distributed join-calculus programs

About

Implementing the Distributed Join Calculus using Actors

Languages

Language:TeX 65.5%Language:Erlang 18.7%Language:Haskell 15.1%Language:Makefile 0.6%