A theory of Stochastic systems. Part II: Process algebra.

Pedro R. D'Argenio Joost-Pieter Katoen

Published in: Inf. Comput. (2005)

Keyphrases

stochastic systems
process algebra
formal methods
concurrent systems
formal specification
asynchronous circuits
model checking
conservation laws
stochastic models
formal languages
web services composition
communication protocols
artificial intelligence
confidence intervals
sample path
machine learning
petri net