Login / Signup

Visual representation of stochastic process algebra models.

Nigel ThomasMalcolm MunroPeter J. B. KingRob Pooley
Published in: Workshop on Software and Performance (2000)
Keyphrases
  • visual representation
  • process algebra
  • visual representations
  • asynchronous circuits
  • real time
  • social networks
  • formal specification
  • graphical user interfaces