Visual representation of stochastic process algebra models.

Nigel Thomas Malcolm Munro Peter J. B. King Rob 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