pi-calculus

RChain Bounty Program

AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

Map lazy functional language constructs to LLVM IR

A simulator for visualising the evolution of π-calculus terms

An implementation of asynchronous π-calculus in Go

Simple CoC-based programming language

λ → π

A π-calculus interpreter written in Go

Toward Behavioral Type checking for Rholang

Executable Specification of Pi-Calculus with Reduction Semantics in Maude.

An interpreter for a pi-calculus based programming language written in scala

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

These are some particle physics snippets of code for personal reference. For an overview an explanation visit: http://ppsnippets.tk

Language based on Pi-calculus

Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle

An interpreter for a higher-order pi-calculus with components

Executable specification of Asynchronous pi-calculus with Labelled Transition System in Maude.