Mobility Workbench (MWB)

Introduction

The Mobility Workbench (MWB) is a tool for manipulating and analyzing mobile concurrent systems described in the pi-calculus. The tool has been developed by Björn Victor, Faron Moller, Mads Dam, and Lars-Henrik Eriksson.

Usage

Compute Systems Invocation Version(s)
Red Hat Linux (64-bit) % cd /util/mwb
% ./mwb.sh
MWB'99, version 4.137 (default)

Notes

  1. Exit mwb.sh with Ctrl-D or quit.

People

  1. Bharat Jayaraman, Instructor.

References

  1. http://www.it.uu.se/research/group/mobility/mwb