Stochastic Π Calculus

Tutorial

A Tutorial for SpiFcp and BioSpi

Backus Nauer Form

Attributes of Modules

Backus Nauer Form for multiple process service calls

Public Variable/Channel Declarations

Public Variable Usage

Channel Weight and Computation

Macros

Command Line User Macros

Program Macros

Object Macros

Services

Multiple processes Service

Record Service

Trace Service

Examples

External Links

Forum for BioSpi users

Old BioSpi download site

BioSpi Project site

This document is licensed under: Gnu General Public License - Version 3