Login / Signup
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