Real Time Systems
EChang-SystemsBiology
Final
Software Engineering Lab. 1 1 A Survey of Self-Management in Dynamic Software Architecture Specifications Jeremy S. Bradbury, James R. Cordy, Juergen Dingel,
1 Modelling Cell Signalling Pathways in PEPA Muffy Calder Department of Computing Science University of Glasgow Jane Hillston and Stephen Gilmore Laboratory.
Formal Methods for Service Composition Antonio Bucchiarone Monday, November 24 (joint work with: Maurice ter Beek and Stefania Gnesi (ISTI–CNR)
RFC Walters (with R. Rosebrugh, N. Sabadini) Università dell’ Insubria, Como, Italy CT2007, Faro, Portugal Calculating limits and colimits compositionally.
Non-standard Software Testing: from Process Algebras to Programmable Hardware. John Clark (Material drawing on talks and work with Susan Stepney, Jill.
PML: Toward a High-Level Formal Language for Biological Systems Bor-Yuh Evan Chang and Manu Sridharan July 24, 2003.
Programming Languages for Biology
Epistemic Strategies and Games on Concurrent Processes Prakash Panangaden: Oxford University (on leave from McGill University). Joint work with Sophia.
Chapter 4: Actors