James II

AttribPi

Summary

Description

Attributed Pi Calculus

Issues: Updated recently

  • Improvement JAMESII-170 10/Jul/12 The font of the textual model editor is hard to read on Macs
  • Improvement JAMESII-172 09/Jul/12 Throttle simulation execution speed when using 'Workflow > Start Simulation'

Versions: Unreleased