From SOSwiki

Jump to: navigation, search

Contents

Location

  • Friday 10:30-11:30am
  • EE 437

Focus

Concurrency, foundational connections to chemical reactions and network dynamics.

Schedule

2/12 - From Processes to ODEs by Chemistry. Cardelli, IFIP TCS, 2008.

2/19 - On Process Rate Semantics. Cardelli, TCS, 2007.

2/26 - Process Algebra Master Equation. Cardelli, QEST, 2007.

Interactive Markov Chains. H Hermanns, Springer LNCS, vol. 2428, 2002.

Continuous Markovian Logic. Cardelli, 2010.

3/5 - Interactive Markov Chains, Chapter 2. H Hermanns, Springer LNCS, vol. 2428, 2002.