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
Next revision
Previous revision
wp4-meeting [2013/12/19 18:50]
imt
wp4-meeting [2013/12/19 18:53]
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