A Partial-differential Approximation for Spatial Stochastic Process Algebra.

Max Tschaikowski Mirco Tribastone

Published in: VALUETOOLS (2014)

Keyphrases

process algebra
concurrent systems
asynchronous circuits
model checking
formal specification
formal methods
concurrent programs
discrete random variables
communication protocols
grid workflow
web services composition
spatial data
real time
temporal logic
open source
artificial intelligence
machine learning