From SOSwiki

Contents 1 Location 2 Focus 3 Schedule 4 2/12 - From Processes to ODEs by Chemistry. Cardelli, IFIP TCS, 2008. 5 2/19 - On Process Rate Semantics. Cardelli, TCS, 2007. 6 2/26 - Process Algebra Master Equation. Cardelli, QEST, 2007. 6.1 Interactive Markov Chains. H Hermanns, Springer LNCS, vol. 2428, 2002. 6.2 Continuous Markovian Logic. Cardelli, 2010. 7 3/5 - Interactive Markov Chains, Chapter 2. H Hermanns, Springer LNCS, vol. 2428, 2002.

Location

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

Focus

Concurrency, foundational connections to chemical reactions and network dynamics.

Schedule

2/12/2010	From Processes to ODEs by Chemistry. Cardelli, IFIP TCS, 2008.
2/19/2010	On Process Rate Semantics. Cardelli, TCS, 2007.
2/26/2010	Process Algebra Master Equation. Cardelli, QEST, 2007.
	Nils is skimming Interactive Markov Chains. H. Hermanns, Springer LNCS, vol. 2428, 2002. Kevin is skimming Continuous Markovian Logic. Cardelli, 2010.
3/5/2010	Interactive Markov Chains, Chapter 2. H. Hermanns, Springer LNCS, vol. 2428, 2002.

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.