Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 74651
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
Image document

Experiencing Contemporary Art at a Distance

Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Gian Luca Foresti , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.344-347, ⟨10.1007/978-3-030-85607-6_34⟩
Conference papers hal-04291240v1