MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool.

Marcel C. Guenther Jeremy T. Bradley

Published in: ICCSW (2011)

Keyphrases

process algebra
formal specification
concurrent systems
asynchronous circuits
spatial data
temporal logic
web services composition
concurrent programs
real time
building blocks
fine grained
model checking