User Tools

Site Tools


wp4-meeting

This is an old revision of the document!


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.1387475526.txt.gz · Last modified: 2013/12/19 18:52 by imt