# Stochastic Bigraphical Abstract Machine (SBAM)

### From PLSwiki

This page is the online documentation for SBAM, the Stochastic Bigraphical Abstract Machine. SBAM is work in progress and this wiki currently serves as the main working document for the project.

SBAM is a simulator for stochastic bigraphs [Krivine et al. 2008], inspired by an efficient kappa-calculus simulator implemented by Krivine et al [ref?]. It aims to be efficient enough to do simulations of large biological models, e.g. those that can be handled by Krivine et al.'s kappa-simulator.

- Introduction
- What is SBAM and what can it be used for?

- User Guide
- A guide to installing and using SBAM.

- Development
- Resources for developers.

- License
- SBAM is available under the GPLv3 license but relies on a number of tools and libraries with their own licenses; this page gives an overview of these.

### People

SBAM is developed as part of the CosmoBiz project at IT University of Copenhagen in collaboration with Jean Krivine, PPS laboratory (Proofs, Programs and Systems) at Université Paris 7:

- Jean Krivine, PPS laboratory (Proofs, Programs and Systems) at Université Paris 7
- Espen Højsgaard, Programming, Logic, and Semantics group (PLS) at IT University of Copenhagen