User Tools

Site Tools


wp4-meeting

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”

wp4-meeting.txt · Last modified: 2013/12/19 18:53 by imt