WP4 Meeting
Università “Ca' Foscari” di Venezia
Aula Baratto
18 Sep 2013
Organizers
Michele Bugliesi and Andrea Marin
Programme
10:00 - 10:40
Marco Bernardo
“Weak Bisimulation Congruences Inducing Exact Pseudo-Aggregations for Integrated-Time Markovian Process Calculi”
10:40 - 11:20
Andrea Marin
“Separable Solution for Stochastic Petri Nets: A Compositional Approach and Extension to Signals”
11:20 - 12:00
Sabina Rossi
“Autoreversibility of CTMCs”
12:00 - 12:40
Susanna Donatelli
“Path-Based Stochastic Measures: CSLTA Properties and Passage Time”
13:40 - 14:20
Marino Miculan
“Structural Operational Semantics for Uniform Labelled Transition Systems”
14:20 - 15:00
Peressotti Marco
“Weak Bisimulations for Labelled Transition Systems Weighted over Semirings”