Charlas/Talks

2017

  1. Bisimulation on Open Terms for Stream Systems. FACAS 2017. 

2016

  1. Proving Equations on Stream GSOS via Bisimulation on Open Terms. CMCS 2016, Eindhoven, The Netherlands. 
  2. Unique Parallel Decomposition of the π-calculus. EXPRESS/SOS 2016, Quebec, Canada, August 2016. 
  3. Logical Characterization of Bisimulation for Transition Relations over Distributions. MFCS 2016, Krakow, Poland 2016.

2015

  1. Rooted probabilistic branching bisimulation as a congruence. QAPL 2015, London, UK, April 11-12, 2015
  2. SOS rule formats for convex and abstract probabilistic bisimulations. EXPRESS/SOS, Madrid, Spain, August 2015. 
  3. Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. Group du Travail de PLUME, Lyon, France, Nov. 2015

2014

  1. What I did in Eindhoven - FSA Colloquium (18/09/2014) - DSG Talks (29/10/2014). 
  2. Probabilistic µ-calculus (Part II)DSG Talks. 
  3. "Probabilistic µ-calculus (Part I)" - DSG Talks. (16, 23, 30/04/2014) 
  4. "Qué cosas se aprenden enseñando mCRL2"  -  FACAS 2014. (07/03/2014)

2013

...

2012

...

2011

...