lenabecker

@pseuco/ccs-interpreter

CCS interpreter for pseuCo.com

@pseuco/lang

pseuCo Language API

@pseuco/ccs-compiler

pseuCo to CCS Compiler

@pseuco/colored-petri-nets

A library to express colored petri nets and analyze their behavior.

@pseuco/pseuco-cpn-compiler

Compiles pseuCo programs to colored Petri nets.

@pseuco/pseuco-promela-compiler

Compiles pseuCo programs to Promela

@pseuco/static-semantics

Static Semantics analysis (including type checking) for pseuCo programs.