6th Workshop on Process Algebra and Stochastically Timed Activities
Programme
Thursday 26th July 2007
- 1300–1400
- Lunch
- 1400–1405
- Welcome
- 1405–1430
- Invited talk: Approximate Analysis of a Network of Fluid Queues
- Peter Harrison, Imperial College London
- PDF of: Paper, Slides
- 1430–1455
- A comparison of the ODE semantics of PEPA with timed continuous Petri nets
- Vashti Galpin, University of Edinburgh
- PDF of: Paper, Slides
- 1455–1520
- On ODEs from PEPA Models
- Jie Ding, University of Edinburgh
- PDF of: Paper, Slides
- 1520–1550
- Tea/coffee break
- 1550–1615
- Generating SDEs from PEPA models
- Richard Hayden, Imperial College London
- PDF of: Paper, Slides
- 1615–1640
- Hybrid approximation of stochastic concurrent constraint programming
- Luca Bortolussi, University of Trieste, Italy
- PDF of: Paper, Slides
- 1640–1705
- Everything you wanted to know about RCAT but were afraid to ask
- Maria Vigliotti, Imperial College London
- PDF of: Paper, Slides
- 1705–1715
- Short break
- 1715–1740
- From the PEPA reagent-centric view to Bio-PEPA
- Federica Ciocchetta, University of Edinburgh
- PDF of: Paper, Slides
- 1740–1805
- Towards a Model of Fair and Unfair Semaphores in MoDeST
- Jens Happe, Universität Karlsruhe, Germany
- PDF of: Paper, Slides
- 1805–1900
- Mystery tour (you may want to bring a camera, or binoculars, as there is quite a view)
- 1930…
- PASTA dinner at Jakob's.
Friday 27th July 2007
- 1000–1025
- Service-Level Agreements for Service-Oriented Computing
- Stephen Gilmore, University of Edinburgh
- PDF of: Paper, Slides
- 1025–1050
- Using PEPA to model the Epichord P2P overlay network
- Mario Kolberg, University of Stirling
- PDF of: Paper, Slides
- 1050–1120
- Tea/coffee break
- 1120–1145
- PEPA models of Epidemiology
- Carron Shankland, University of Stirling
- PDF of: Paper, Slides
- 1145–1215
- Comparing three different simulation methods for solving chemical reaction systems
- Luca Cacchiani, University of Torino, Italy / University of Edinburgh
- PDF of: Paper, Slides
- 1215–1240
- Stochastic Bounding of PEPA models
- Michael Smith, University of Edinburgh
- PDF of: Paper, Slides
- 1240–1330
- Lunch
- 1330–1355
- Bottom-Up Beats Top-Down Hands-Down
- Mirco Tribastone, University of Edinburgh
- PDF of: Paper, Slides
- 1355–1420
- Probe Specifications to PEPA Components via Finite Automata
- Allan Clark, University of Edinburgh
- PDF of: Paper, Slides
- 1420–1445
- A peer-to-peer Market for Grid Computing
- Uli Harder, Imperial College London
- PDF of: Paper, Slides
- 1445–1455
- Wrap-up
- 1455…
- To the pub, starting at the Queens Arms, and possibly crawling on…
An LCD projector and laptop will be available to presenters. Please bring a PDF file on a memory stick, or posted somewhere on the Web. If you use PowerPoint, or anything else we're unlikely to support properly, please convert your slides to PDF or bring your own laptop. If you have any questions, please contact Ashok.