Skip to content

romefeller/pika

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

A small (untyped) pi-calculus interpreter.

x(y).p => Waits on channel x, bind a value to y then proceed as p;

x.p => Sends a value y on channel x then proceeds as p;

(v x). p => Create a channel x then proceeds as p.

par ( p | q ) => Executes p and q in parallel;

!n. p => Replicate p n times;

0 => An inert process.

About

A small (untyped) pi-calculus interpreter

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published