e-Science logo eSI logo
 
 

Third workshop on Process Algebra and Stochastically Timed Activities (PASTA)

Original Event Webpage: www.nesc.ac.uk/esi/events/290/

Acrobat Reader Version 5.0 is required to view some of the documents listed below.

Title Formats Available
- Day 1 14.00 - Iterative Transient State Distribution Calculation in Semi-Markov Processes Adobe PDF Format [PDF] (0.41 MB)
- Day 1 14.30 A tensorial representation for PEPA nets models: Leila Kloul, University of Edinburgh Adobe PDF Format [PDF] (0.27 MB)
- Day 1 15.45 - Slaying Vampires Adobe PDF Format [PDF] (0.49 MB)
- Day 1 16.15 - Matrix Geometric and Spectral Expansion Meh-thods Adobe PDF Format [PDF] (0.09 MB)
- Day 2 09.30- Automatically Generating PEPA from Web Service Choreography Adobe PDF Format [PDF] (0.28 MB)
- Day 2 10.00 - Leader election problems in process calculi Adobe PDF Format [PDF] (0.82 MB)
- Day 2 11.15 - Ants/agents and product form Adobe PDF Format [PDF] (0.11 MB)
- Day 2 11.45 - SAN models of all optical networks Adobe PDF Format [PDF] (0.13 MB)
- Day 2 12.15 - Modelling Bit Torrent Adobe PDF Format [PDF] (0.02 MB)
- Photo 1 JPG Format [JPG] (0.03 MB)
- Photo 2 JPG Format [JPG] (0.03 MB)
- Photo 3 JPG Format [JPG] (0.03 MB)
- Summary Report Adobe PDF Format [PDF] (0.05 MB)



Last Updated: 22 Jun 12 11:02
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.