Hybrid Semantics for Stochastic pi-Calculus.

Luca Bortolussi Alberto Policriti

Published in: AB (2008)

Keyphrases

algebraic structure
formal language
logic programming
monte carlo
database query languages
stochastic optimization
formal semantics
computer algebra
conceptual model
reasoning tasks
learning automata
computational properties
stochastic programming
process algebra