tag : pi-calculus

1 publication / Andrea Omicini
page_white_acrobat Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini