User Tools

Site Tools


wp4-meeting

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
wp4-meeting [2013/12/19 18:50]
imt
wp4-meeting [2013/12/19 18:52]
imt
Line 17: Line 17:
 "Weak Bisimulation Congruences Inducing Exact Pseudo-Aggregations for Integrated-Time Markovian Process Calculi"​ "Weak Bisimulation Congruences Inducing Exact Pseudo-Aggregations for Integrated-Time Markovian Process Calculi"​
  
 +10:40 - 11:20 \\
 Andrea Marin \\ Andrea Marin \\
 "​Separable Solution for Stochastic Petri Nets: A Compositional Approach and Extension to Signals"​ "​Separable Solution for Stochastic Petri Nets: A Compositional Approach and Extension to Signals"​
  
 +11:20 - 12:00 \\
 Sabina Rossi \\ Sabina Rossi \\
 "​Autoreversibility of CTMCs" "​Autoreversibility of CTMCs"
  
 +12:00 - 12:40 \\
 Susanna Donatelli \\ Susanna Donatelli \\
 "​Path-based Stochastic Measures: CSLTA Properties and Passage Time" "​Path-based Stochastic Measures: CSLTA Properties and Passage Time"
  
 +13:40 - 14:20 \\
 Marino Miculan \\ Marino Miculan \\
 "​Structural Operational Semantics for Uniform Labelled Transition Systems"​ "​Structural Operational Semantics for Uniform Labelled Transition Systems"​
  
 +14:20 - 15:00 \\
 Peressotti Marco \\ Peressotti Marco \\
 "Weak Bisimulations for Labelled Transition Systems Weighted over Semirings"​ "Weak Bisimulations for Labelled Transition Systems Weighted over Semirings"​
wp4-meeting.txt ยท Last modified: 2013/12/19 18:53 by imt