G. Bacci

Structural operational semantics for continuous state stochastic transition systems
Finding a Forest in a Tree - The matching problem for wide reactive systems
Modal logics for Brane Calculus

Published with Wowchemy — the free, open source website builder that empowers creators.