@comment{pepa.bib: A bibliography of papers, books, talks and articles on Performance Evaluation Process Algebra (PEPA). Last updated: 14th May 2004.} @Book{pepa, author = "J.~Hillston", title = "A Compositional Approach to Performance Modelling", publisher = "Cambridge University Press", year = 1996, postscript = {book.ps.gz}, pdf = {book.pdf} } @inproceedings{workbench, author = "S.~Gilmore and J.~Hillston", title = "{The {PEPA} Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling}", booktitle = "Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation", address = "Vienna", year = 1994, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", number = "794", month = may, pages = "353--368", postscript = {workbench.ps.gz} } @InProceedings{synchronisation, author = "J.~Hillston", title = "The Nature of Synchronisation", crossref = "papm2", pages = "51--70", postscript = {synchronisation.ps.gz} } @InProceedings{compositional, author = "J.~Hillston", title = "Compositional {M}arkovian Modelling Using a Process Algebra", editor = "W.~Stewart", booktitle = "Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains", year = "1995", publisher = "Kluwer Academic Press", address = "Raleigh, North Carolina", month = jan, postscript = "compositional.ps.gz" } @InProceedings{timescale, author = "J.~Hillston and V.~Mertsiotakis", title = "A simple time scale decomposition technique for stochastic process algebras", crossref = "papm3", pages = "566--577", postscript = {timescale.ps.gz} } @InProceedings{quasireversibility, author = "P.~Harrison and J.~Hillston", title = "Exploiting quasi-reversible structures in {M}arkovian process algebra models", crossref = "papm3", pages = "510--520", postscript = {quasireversibility.ps.gz} } @InProceedings{aggregation, author = "M.~Ribaudo", title = "On the Aggregation Techniques in Stochastic {P}etri Nets and Stochastic Process Algebras", crossref = "papm3", pages = "600--611", postscript = {aggregation.ps.gz} } @InProceedings{workcell, author = "D.R.W.~Holton", title = "A {PEPA} specification of an industrial production cell", crossref = "papm3", pages = "542--551", postscript = {workcell.ps.gz} } @InProceedings{comparison, author = "S.~Donatelli and J.~Hillston and M.~Ribaudo", title = "A Comparison of {Performance Evaluation Process Algebra} and {Generalized Stochastic Petri Nets}", booktitle = "Proc. 6th International Workshop on Petri Nets and Performance Models", year = 1995, address = "Durham, North Carolina", postscript = "comparison.ps", pdf = "comparison.pdf" } @InProceedings{spnsemantics, author = "M.~Ribaudo", title = "Stochastic {P}etri Net Semantics for Stochastic Process Algebras", booktitle = "Proc. 6th International Workshop on Petri Nets and Performance Models", year = 1995, address = "Durham, North Carolina", postscript = "spnsemantics.ps.gz" } @Article{robot, author = "S. Gilmore and J. Hillston and D.R.W. Holton and M. Rettelbach", title = "{Specifications in Stochastic Process Algebra for a Robot Control Problem}", journal = "International Journal of Production Research", year = 1996, volume = 34, number = 4, pages = "1065--1080", postscript = {robot.ps.gz} } @InProceedings{metric, author = {M.~Kwiatkowska and G.~Norman}, title = {Metric Denotational Semantics for {PEPA}}, crossref = "papm4", pages = "120--138", postscript = {metric.ps.gz} } @InProceedings{rewards, author = {G.~Clark}, title = {Formalising the specification of rewards with {PEPA}}, crossref = "papm4", pages = "139--160", postscript = {rewards.ps.gz} } @InProceedings{spa_models, author = "S. Gilmore and J. Hillston and D.R.W. Holton", title = "From {SPA} Models to Programs", crossref = "papm4", pages = "179--198", postscript = {spa_models.ps.gz} } @InProceedings{isomorphism, author = "G.~Clark", title = "An Extended Weak Isomorphism for Model Simplification", crossref = "papm5", postscript = {isomorphism.ps.gz} } @InProceedings{internalchoice, author = "S.~Gilmore and J.~Hillston", title = "Refining internal choice in {PEPA} models", crossref = "ukpew96", pages = "49--64", postscript = {internalchoice.ps.gz} } @InProceedings{perfmeasures, author = "G.~Clark and J.~Hillston", title = "Towards Automatic Derivation of Performance Measures from {PEPA} Models", crossref = "ukpew96", pages = "65--81", postscript = {perfmeasures.ps.gz} } @InProceedings{lifts, author = "A.~El-Rayes and M.~Kwiatkowska and S.~Minton", title = "Analysing performance of lift systems in {PEPA}", crossref = "ukpew96", pages = "83--100", postscript = {lifts.ps.gz} } @InProceedings{cell, author = {D.R.W.~Holton and J.P.N.~Glover}, title = {An {SPA} performance model of a production cell}, booktitle = {Proceedings of the Thirteenth UK Performance Engineering Workshop}, pages = {6/1--6/6}, year = 1997, editor = {D.~Kouvatsos}, address = {Bradford}, postscript = {cell.ps.gz} } @TechReport{queues, author = {N. Thomas and J. Hillston}, title = {Using {Markovian} Process Algebra to Specify Interactions in Queueing Systems}, institution = {Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh}, year = 1997, number = {ECS-LFCS-97-373}, postscript = {queues.ps.gz} } @TechReport{structural, author = {S. Gilmore and J. Hillston and L. Recalde}, title = {Elementary structural analysis for {PEPA}}, institution = {Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh}, year = 1997, number = {ECS-LFCS-97-377}, postscript = {structural.ps.gz} } @InCollection{tutorial, author = "J.~Hillston and M.~Ribaudo", title = "Stochastic Process Algebras: a new approach to performance modeling", booktitle = "Modeling and Simulation of Advanced Computer Systems", publisher = "Gordon Breach", year = 1998, editor = "K.~Bagchi and G.~Zobrist", postscript = "tutorial.ps.gz" } @TechReport{prodform, author = "J. Hillston", title = "{A Class of PEPA Models Exhibiting Product Form Solution over Submodels}", institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh", year = 1998, number = {ECS-LFCS-98-382}, month = feb, postscript = {prodform.ps.gz} } @Article{experiences, author = {G. Clark and S. Gilmore and J. Hillston and N. Thomas}, title = {Experiences with the {PEPA} Performance Modelling Tools}, journal = {IEE Proceedings---Software}, year = 1999, month = feb, pages = {11--19}, volume = 146, number = 1, note = {Special issue of papers from the Fourteenth UK Performance Engineering Workshop.}, postscript = {experiences.ps.gz} } @InProceedings{prodformsoln, author = "J. Hillston and N. Thomas", title = "{Product Form Solution for a class of {PEPA} Models}", booktitle = "Proceedings of IEEE International Computer Performance and Dependability Symposium", year = 1998, month = sep, address = {Durham, NC}, note = {An extended version appeared in {\em Performance Evaluation}, {\bf 35}(3--4), 1999)}, postscript = {prodformsoln.ps.gz} } @Article{prodformsolnjournal, author = {J. Hillston and N. Thomas}, title = {Product Form Solution for a class of {PEPA} Models}, journal = {Performance Evaluation}, year = 1999, volume = 35, number = {3--4}, pages = {171--192}, postscript = {prodformsolnjournal.ps.gz} } @InProceedings{exploitingstructure, author = {J. Hillston}, title = {Exploiting Structure in Solution: Decomposing Composed Models}, crossref = {papm6}, pages = {1--15}, postscript = {exploitingstructure.ps.gz} } @InProceedings{features, author = {S. Gilmore and J. Hillston}, title = {Feature Interaction in {PEPA}}, crossref = {papm6}, pages = {17--26}, postscript = {features.ps.gz} } @InProceedings{quasiseparability, author = {N. Thomas and S. Gilmore}, title = {Applying Quasi-Separability to {M}arkovian Process Algebra}, crossref = {papm6}, pages = {27--36}, postscript = {quasiseparability.ps.gz} } @InProceedings{reverse, author = {J. Hillston and N. Thomas}, title = {A Syntactical Analysis of Reversible {PEPA} Models}, crossref = {papm6}, pages = {37--49}, postscript = {reverse.ps.gz} } @InProceedings{pepa:dbms, author = {E. W. Dempster and N. T. Tomov and J. L\"{u} and C. S. Pua and M. H. Williams and A. Burger and H. Taylor and P. Broughton}, title = {Verifying a Performance Estimator for Parallel {DBMS}s}, booktitle = {Proceedings of EuroPar ({EuroPar}'98)}, month = sep, year = {1998}, postscript = {verifying_dbms.ps.gz} } @inproceedings{multimedia, author = {H. Bowman and J. Bryans and J. Derrick}, title = {Analysis of a Multimedia Stream using Stochastic Process Algebra}, month = {September}, year = {1998}, pages = {51--69}, url = {http://www.cs.ukc.ac.uk/pubs/1998/611}, address = {Nice}, booktitle = {Sixth International Workshop on Process Algebras and Performance Modelling}, editor = {C. Priami}, postscript = {multimedia.ps.gz} } @InProceedings{specifying, author = {G. Clark and S. Gilmore and J. Hillston}, title = {Specifying Performance Measures for {PEPA}}, booktitle = {Proceedings of the Fifth International AMAST Workshop on Real-Time and Probabilistic Systems}, editor = {J.-P. Katoen}, address = {Bamberg, Germany}, month = may, year = 1999, number = 1601, series = {LNCS}, publisher = {Springer-Verlag}, pages = {211--227}, postscript = {specifying.ps.gz} } @InProceedings{construct, author = {S.~Gilmore and J.~Hillston}, title = {A feature construct for {PEPA}}, crossref = {ukpew99}, pages = {225--236}, postscript = {construct.ps.gz} } @InProceedings{tools, author = {G. Clark and S. Gilmore and J. Hillston}, title = {The {PEPA} Performance Modelling Tools}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, crossref = {papm7}, postscript = {tools.ps.gz} } @InProceedings{insensitivity, author = {G. Clark}, title = {Stochastic Process Algebra Structure for Insensitivity}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, crossref = {papm7}, pages = {63--82}, postscript = {insensitivity.ps.gz} } @InProceedings{uml, author = {R. Pooley}, title = {Using {UML} to derive stochastic process algebra models}, crossref = {ukpew99}, pages = {23--33}, postscript = {uml.ps.gz} } @InProceedings{extending, author = {N. Thomas}, title = {Extending Quasi-Separability}, crossref = {ukpew99}, pages = {131--142}, postscript = {extendingquasiseparability.ps.gz} } @InProceedings{libraries, author = {P.R. Mitton and D.R.W. Holton}, title = {Extensions to {PEPA} to simplify the creation of component libraries}, crossref = {ukpew99}, pages = {209--218}, postscript = {libraries.ps.gz} } @PhdThesis{GrahamPhD, author = "G.~Clark", title = "Techniques for the Construction and Analysis of Algebraic Performance Models", school = "The University of Edinburgh", year = "2000", postscript = {techniques.ps.gz} } @InProceedings{exploitinglogic, author = {G. Clark and S. Gilmore and J. Hillston and M. Ribaudo}, title = {Exploiting modal logic to express performance measures}, booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference}, editor = {B.R. Haverkort and H.C. Bohnenkamp and C.U. Smith}, address = {Schaumburg, Illinois, USA}, month = mar, year = 2000, number = 1786, series = {LNCS}, publisher = {Springer-Verlag}, pages = {211--227}, postscript = {exploitinglogic.ps.gz} } @MastersThesis{reevaluation, author = {J. Hunter}, title = {Re-evaluation of the {PEPA Workbench}}, school = {School of Computer Science, The University of Edinburgh}, year = 1999, month = sep, postscript = {reevaluation.ps.gz} } @TechReport{transforming, author = {J. Tomasik and J. Hillston}, title = {Transforming {PEPA} models to obtain product form bounds}, institution = {Laboratory for Foundations of Computer Science, The University of Edinburgh}, year = 2000, number = {EDI-INF-RR-0009}, month = feb, pdf = {transforming.pdf} } @TechReport{amalgamation, author = {J. Hillston and J. Tomasik}, title = {Amalgamation of Transition Sequences in the {PEPA} Formalism}, institution = {Laboratory for Foundations of Computer Science, The University of Edinburgh}, year = 2000, number = {EDI-INF-RR-0013}, month = mar, pdf = {amalgamation.pdf} } @inproceedings{diagnosis, author = {L.~Console AND C.~Picardi AND M.~Ribaudo}, title = {{Diagnosis and Diagnosability Analysis using Process Algebras}}, booktitle = {Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00)}, address = {Morelia, Mexico}, month = {June}, year = 2000, postscript = {diagnosis.ps.gz} } @inproceedings{pepadiagnosis, author = {L.~Console AND C.~Picardi AND M.~Ribaudo}, title = {{Diagnosis and Diagnosability Analysis using PEPA}}, booktitle = {{Proc. of $14^{th}$ European Conference on Artificial Intelligence}}, address = {Berlin}, month = {August}, year = 2000, postscript = {pepadiagnosis.ps.gz}, note = {A longer version appeared in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico, June 2000} } @InProceedings{pepaUML, author = {P. Mitton and R. Holton}, title = {{PEPA} Performability Modelling using {UML} statecharts}, crossref = {ukpew00}, pages = {19--33}, year = 2000, postscript = {pepaUML.ps} } @InProceedings{higherorderperformance, author = {S. Gilmore and J. Hillston}, title = {Performance modelling in {PEPA} with higher-order functions}, crossref = {ukpew00}, pages = {35--46}, year = 2000, postscript = {higherorder.ps.gz}, pdf = {higherorder.pdf} } @InProceedings{visualisation, author = {N. Thomas and M. Munro and P. King and R. Pooley}, title = {Visualisation for model comprehension}, crossref = {ukpew00}, pages = {47--58}, year = 2000, pdf = {visualisation.pdf} } @InProceedings{partialorder, author = {J. Bradley and N. Thomas}, title = {Constructing a partial order for performance measures}, crossref = {ukpew00}, pages = {177--186}, year = 2000, postscript = {partialorder.ps} } @InProceedings{amalgamationpepa, author = {J. Hillston and J. Tomasik}, title = {Amalgamation of transition sequences in the {PEPA} formalism}, crossref = {papm8}, pages = {523--534}, postscript = {amalgamationpepa.ps}, pdf = {amalgamationpepa.pdf} } @InProceedings{visual, author = {N. Thomas and M. Munro and P. King and R. Pooley}, title = {Visual representation of stochastic process algebra models}, booktitle = {Proceedings on the second international Workshop on Software and Performance (WoSP)}, pages = {18--19}, year = 2000, address = {Ottawa, Canada}, month = sep, publisher = {ACM}, pdf = {visual.pdf} } @MastersThesis{transientanalysis, author = {F. Wan}, title = {Interface Engineering and Transient Analysis for the {PEPA Workbench}}, school = {School of Computer Science, The University of Edinburgh}, year = 2000, month = sep, postscript = {transientanalysis.ps.gz} } @InBook{pepafeatureconstruct, author = {S.~Gilmore and J.~Hillston}, title = {The {PEPA} Feature Construct}, booktitle = {Language Constructs for Describing Features}, publisher = {Springer-Verlag}, year = {2001}, pages = {125--142}, postscript = {pepafeatureconstruct.ps}, pdf = {pepafeatureconstruct.pdf} } @InBook{exploitingstructureinsolution, author = {J. Hillston}, title = {FMPA Lecture Notes}, chapter = {Exploiting Structure in Solution: Decomposing Composed Models}, publisher = {Springer-Verlag}, year = 2001, postscript = {exploitingstructureinsolution.ps.gz} } @Proceedings{formalism, author = {G. Clark}, title = {{PEPA}: a stochastic progress algebra formalism}, year = 2000, volume = {Proceedings of the First Review Meeting of the Motorola Center for High-Availability System Validation}, address = {University of Illinois at Urbana-Champaign}, month = oct, url = {http://www.crhc.uiuc.edu//PERFORM/motorola/10-4-00-meeting.html}, pdf = {formalism.pdf} } @Article{auction, author = {J. Hillston and L. Kloul}, title = {Performance Investigation of an On-Line Auction System}, journal = {Concurrency and Computation: Practice and Experience}, year = {2001}, volume = {13}, pages = {23--41}, postscript = {auction.ps.gz}, pdf = {auction.pdf} } @Article{canonical, author = {S.~Gilmore and J.~Hillston and M. Ribaudo}, title = {An efficient algorithm for aggregating {PEPA} models}, journal = {IEEE Transactions on Software Engineering}, volume = 27, number = 5, pages = {449--464}, year = 2001, month = may, postscript = {canonical.ps}, PDF = {canonical.pdf} } @TechReport{towardsreliablemodelling, author = {N. Thomas and J. Bradley}, title = {Towards reliable software performance modelling using stochastic process algebra}, institution = {University of Durham}, year = 2001, number = {01-01}, note = jan, postscript = {towardsreliablemodelling.ps}, PDF = {towardsreliablemodelling.pdf} } @InProceedings{spnpepa, author = {J.~Hillston and L.~Recalde and M.~Ribaudo and M.~Silva}, title = {A Comparison of the Expressiveness of {SPA} and Bounded {SPN} models}, booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance Models}, year = 2001, editor = {B.~Haverkort and R.~German}, address = {Aachen, Germany}, month = sep, publisher = {IEEE Computer Science Press}, postscript = {spnpepa.ps}, pdf = {spnpepa.pdf} } @InProceedings{terminating, author = {N. Thomas and J. Bradley}, title = {Terminating processes in {PEPA}}, booktitle = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, crossref = {ukpew01}, pages = {143--154}, postscript = {terminating.ps} } @InProceedings{pcpn, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA}-Coloured Stochastic {Petri} nets}, booktitle = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, crossref = {ukpew01}, pages = {155--166} } @InProceedings{kronecker, author = {J. Hillston and L. Kloul}, title = {An Efficient {Kronecker} Representation for {PEPA} Models}, crossref = {papm9}, pages = {120--135}, postscript = {kronecker.ps}, pdf = {kronecker.pdf} } @InProceedings{pepamobius, author = {G. Clark and W.H. Sanders}, title = {Implementing a Stochastic Process Algebra within the {M}\"obius Modeling Framework}, pages = {200--215}, crossref = {papm9}, postscript = {pepamobius.ps} } @MastersThesis{simulationexperimentation, author = {F. Stathopoulos}, title = {Enhancing the {PEPA Workbench} with Simulation and Experimentation facilities}, school = {School of Computer Science, The University of Edinburgh}, year = 2001, month = sep, postscript = {simulationexperimentation.ps.gz} } @InProceedings{protocolvalidation, author = {James Edwards}, title = {Process Algebras for Protocol Validation and Analysis}, booktitle = {Proceedings of PREP 2001}, pages = {1--20}, year = 2001, address = {Keele}, month = apr, publisher = {EPSRC}, postscript = {protocolvalidation.ps}, pdf = {protocolvalidation.pdf} } @InProceedings{pepanets, author = {S. Gilmore and J. Hillston and M. Ribaudo}, title = {{PEPA} nets: A structured performance modelling formalism}, booktitle = {Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation}, year = 2002, editor = {T.~Field and P.G.~Harrison and J.~Bradley and U.~Harder}, address = {London, UK}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 2324, pages = {111--130}, month = apr, postscript = {pepanets.ps}, pdf = {pepanets.pdf} } @InProceedings{behaviouralindependence, author = {N. Thomas}, title = {Behavioural independence and control in {PEPA}}, booktitle = {Proceedings of the workshop on Process Algebras and Stochastically Timed Activities}, year = 2002, editor = {S. Gilmore and J. Hillston}, address = {Edinburgh, Scotland}, pages = {46--56}, month = jun, postscript = {behaviouralindependence.ps} } @MastersThesis{pepatojava, author = {K. Powell}, title = {Rapid Prototyping of High-performance Concurrent {Java} Applications}, school = {School of Computer Science, The University of Edinburgh}, year = 2002, month = sep, postscript = {pepatojava.ps}, pdf = {pepatojava.pdf}, } @Article{manhattan, author = {J.M. Forneau and L. Kloul and F. Valois}, title = {Performance Modelling of Hierarchical Cellular Networks using {PEPA}}, journal = {Performance Evaluation}, year = 2002, volume = 50, number = {2--3}, pages = {83--99}, month = nov, pdf = {manhattan.pdf} } @Article{insensitive, author = {G. Clark and J. Hillston}, title = {Product form solution for an insensitive stochastic process algebra structure}, journal = {Performance Evaluation}, year = 2002, volume = 50, number = {2--3}, pages = {129--151}, month = nov, pdf = {insensitive.pdf} } @Article{approximatesolution, author = {Nigel Thomas and Jeremy Bradley and David Thornley}, title = {An approximate solution of {PEPA} models using substitution}, journal = {IEE Proceedings - Computers and Digital Techniques}, year = 2003, volume = 150, number = 2, month = mar, pages = {67--74}, postscript = {approximatesolution.ps} } @InProceedings{pepahydra, author = {J.T. Bradley and N.J. Dingle and S.T. Gilmore and W.J. Knottenbelt}, title = {Extracting passage times from {PEPA} models with the {HYDRA} tool: A case study}, booktitle = {Proceedings of the Nineteenth annual UK Performance Engineering Workshop}, crossref = {ukpew03}, pages = {79--90}, postscript = {pepahydra.ps} } @InProceedings{activenodes, author = {J. Hillston and L. Kloul and A. Mokhtari}, title = {Active nodes performance analysis using {PEPA}}, booktitle = {Proceedings of the Nineteenth annual UK Performance Engineering Workshop}, crossref = {ukpew03}, pages = {244--256}, postscript = {activenodes.ps} } @InProceedings{ipc, author = {J.T. Bradley and N.J. Dingle and S.T. Gilmore and W.J. Knottenbelt}, title = {Derivation of passage-time densities in {PEPA} models using {IPC}: The {Imperial PEPA Compiler}}, booktitle = {Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems}, editor = {G Kotsis}, pages = {344--351}, publisher = {IEEE Computer Society Press}, address = {University of Central Florida}, month = oct, year = 2003, postscript = {http://www.dcs.ed.ac.uk/pepa/ipc.ps} } @InProceedings{umlpepaprism, author = {S. Gilmore and L. Kloul}, title = {A unified tool for performance modelling and prediction}, booktitle = {Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003)}, pages = {179--192}, year = 2003, editor = {S. Anderson, B. Littlewood and M. Felici}, volume = 2788, series = {LNCS}, publisher = {Springer-Verlag}, postscript = {umlpepaprism.ps} } @Article{pepanetsJournal, author = {S. Gilmore and J. Hillston and M. Ribaudo and L. Kloul}, title = {{PEPA} nets: A structured performance modelling formalism}, journal = {Performance Evaluation}, year = 2003, volume = 54, number = 2, pages = {79--104}, month = oct, postscript = {pepanetsJournal.ps}, pdf = {pepanetsJournal.pdf} } @InProceedings{global, author = {L. Brodo and P. Degano and S. Gilmore and J. Hillston and C. Priami}, title = {Performance evaluation for global computation}, booktitle = {Global Computing: Programming environments, languages, security, and analysis of systems. Proceedings of the IST/FET International Workshop (GC~2003)}, pages = {229--253}, month = feb, year = 2003, editor = {C. Priami}, volume = 2874, address = "Rovereto, Italy", series = {LNCS}, publisher = {Springer-Verlag}, pdf = {global.pdf}, } @inProceedings{pepanetsprismwosp, author = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo}, title = {Software performance modelling using {PEPA} nets}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {13--24}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, pdf = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/pepanetsprism.pdf} } @inProceedings{stochasticprobes, author = {A. Argent-Katwala and J.T. Bradley and N.J. Dingle}, title = {Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance}, pages = {49--58}, year = 2004, address = {Redwood Shores, California, USA}, month = jan, publisher = {ACM Press}, PostScript = {http://www.dcs.ed.ac.uk/pepa/stochasticprobes.ps} } @Misc{pepa_approche, author = {L. Kloul}, title = {{PEPA}: Une approche formelle pour la mod\'elisation des performances}, year = 2004, month = jan, note = {Invited seminar at Laboratoire CITI, INSA Lyon}, PostScript = {http://www.dcs.ed.ac.uk/pepa/pepa_approche.ps} } @InProceedings{pepanetstutorial, author = {S. Gilmore and J. Hillston and L. Kloul}, title = {{PEPA} nets}, booktitle = {Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures}, year = 2004, editor = {M.C.~Calzarossa and E. Gelenbe}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 2965, pages = {311--335}, postscript = {pepanetstutorial.ps}, pdf = {pepanetstutorial.pdf} } @comment{Cross-referenced proceedings appear at the end.} @Proceedings{papm2, title = "Proceedings of the Second International Workshop on Process Algebras and Performance Modelling", booktitle = "Proceedings of the Second International Workshop on Process Algebras and Performance Modelling", year = 1994, editor = "U.~Herzog and M.~Rettelbach", address = "Erlangen", month = nov } @Proceedings{papm3, title = "Proceedings of the Third International Workshop on Process Algebras and Performance Modelling", booktitle = "Proceedings of the Third International Workshop on Process Algebras and Performance Modelling", year = 1995, editor = "S.~Gilmore and J.~Hillston", publisher = "Special Issue of {\it The Computer Journal}, 38(7)", month = dec } @Proceedings{papm4, title = {Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling}, year = 1996, editor = {M.~Ribaudo}, month = jul, organization = {Dipartimento di Informatica, Universit\`a\ di Torino}, publisher = {CLUT} } @Proceedings{papm5, title = {Proceedings of the Fifth Annual Workshop on Process Algebra and Performance Modelling}, year = 1997, editor = {E.~Brinksma and A.~Nymeyer}, month = jun, organization = {University of Twente}, note = {Centre for Telematics and Information Technology, Technical report number 97-14} } @Proceedings{papm6, title = {Proceedings of the Sixth Annual Workshop on Process Algebra and Performance Modelling}, booktitle = {Proceedings of the Sixth Annual Workshop on Process Algebra and Performance Modelling}, year = 1998, editor = {C. Priami}, month = sep, address = {Nice, France}, organization = {Universit\`a\ degli studi di Verona} } @Proceedings{papm7, title = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, booktitle = {Proceedings of the Seventh Annual Workshop on Process Algebra and Performance Modelling}, year = 1999, editor = {J. Hillston}, month = sep, address = {Zaragosa, Spain}, publisher = {University of Zaragosa Press} } @Proceedings{papm8, title = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages and Programming (Proceedings of the Eighth Annual Workshop on Process Algebra and Performance Modelling)}, booktitle = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages and Programming (Proceedings of the Eighth Annual Workshop on Process Algebra and Performance Modelling)}, year = 2000, editor = {R. {Gorrieri et al}.}, month = sep, address = {Geneva, Switzerland}, publisher = {Carleton Scientific}, series = {Proceedings in Informatics}, number = 8 } @Proceedings{papm9, title = {Proceedings of the first joint PAPM-PROBMIV Workshop}, booktitle = {Proceedings of the first joint PAPM-PROBMIV Workshop}, year = 2001, editor = {L. {de Alfaro} and S. Gilmore}, month = sep, address = {Aachen, Germany}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {2165} } @Proceedings{ukpew96, title = {Proceedings of the Twelfth UK Performance Engineering Workshop}, year = 1996, editor = {R.~Pooley and J.~Hillston}, address = {Department of Computer Science, The University of Edinburgh}, month = sep } @Proceedings{ukpew99, title = {Proceedings of the Fifteenth UK Performance Engineering Workshop}, year = 1999, editor = {N. Davies and J. Bradley}, address = {Department of Computer Science, The University of Bristol}, month = jul } @Proceedings{ukpew00, title = {Proceedings of the Sixteenth UK Performance Engineering Workshop}, year = 2000, editor = {N. Thomas and J. Bradley}, address = {Department of Computer Science, The University of Durham}, month = jul } @Proceedings{ukpew01, title = {Proceedings of the Seventeenth UK Performance Engineering Workshop}, year = 2001, editor = {K. Djemame and M. Kara}, address = {University of Leeds}, month = jul } @Proceedings{ukpew03, title = {Proceedings of the Ninteenth UK Performance Engineering Workshop}, year = 2003, editor = {S. Jarvis}, address = {University of Warwick}, month = jul } @comment{pepa.bib: End of file }