Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Structural Operational Semantics for Continuous State Probabilistic Processes

Giorgio Bacci , Marino Miculan
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.71-89, ⟨10.1007/978-3-642-32784-1_5⟩
Conference papers hal-01539880v1