stg.bib
@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 = {http://www.dcs.ed.ac.uk/pepa/workbench.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 = {http://www.dcs.ed.ac.uk/pepa/robot.ps.gz}
}
@INPROCEEDINGS{spa_models,
AUTHOR = {S. Gilmore and J. Hillston and D.R.W. Holton},
TITLE = {From {SPA} Models to Programs},
BOOKTITLE = {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},
PAGES = {179--198},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/spa_models.ps.gz}
}
@INPROCEEDINGS{internalchoice,
AUTHOR = {S.~Gilmore and J.~Hillston},
TITLE = {Refining internal choice in {PEPA} models},
BOOKTITLE = {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,
PAGES = {49--64},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/internalchoice.ps.gz}
}
@TECHREPORT{tutorial,
AUTHOR = {S. Gilmore},
TITLE = {Programming in {Standard ML '97}: {A} Tutorial Introduction},
INSTITUTION = {Laboratory for Foundations of Computer Science,
Department of Computer Science, The University of
Edinburgh},
YEAR = 1997,
NUMBER = {ECS-LFCS-97-364},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/aps.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 = {http://www.dcs.ed.ac.uk/pepa/structural.ps.gz}
}
@TECHREPORT{dynamic,
AUTHOR = {S. Gilmore and D. {Kirli} and C. Walton},
TITLE = {Dynamic {ML} without Dynamic Types},
INSTITUTION = {Laboratory for Foundations of Computer Science,
Department of Computer Science, The University of
Edinburgh},
YEAR = 1997,
NUMBER = {ECS-LFCS-97-378},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/DynamicML/dynamic.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 = {http://www.dcs.ed.ac.uk/pepa/experiences.ps.gz}
}
@INPROCEEDINGS{features,
AUTHOR = {S. Gilmore and J. Hillston},
TITLE = {Feature Interaction in {PEPA}},
BOOKTITLE = {Proceedings of the Sixth International Workshop on
Process Algebra for Performance Modelling},
EDITOR = {C. Priami},
ADDRESS = {Nice, France},
MONTH = SEP,
YEAR = 1998,
PAGES = {17--26},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/features.ps.gz}
}
@INPROCEEDINGS{quasiseparability,
AUTHOR = {N. Thomas and S. Gilmore},
TITLE = {Applying Quasi-Separability to {M}arkovian Process
Algebra},
BOOKTITLE = {Proceedings of the Sixth International Workshop on
Process Algebra for Performance Modelling},
EDITOR = {C. Priami},
ADDRESS = {Nice, France},
MONTH = SEP,
YEAR = 1998,
PAGES = {27--36},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/quasiseparability.ps.gz}
}
@TECHREPORT{fengshui,
AUTHOR = {S. Gilmore},
TITLE = {{Feng Shui for Standard ML Programmers}},
INSTITUTION = {LFCS, Division of Informatics},
YEAR = 1998,
NUMBER = {ED-INF(S)-98-001},
MONTH = AUG,
NOTE = {Inaugural essay in the Division of Informatics
reports series, subseries South, subsubseries LFCS.},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/fengshui.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,
PAGES = {17--26},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/specifying.ps.gz}
}
@INPROCEEDINGS{construct,
AUTHOR = {S.~Gilmore and J.~Hillston},
TITLE = {A feature construct for {PEPA}},
PAGES = {225--236},
YEAR = 1999,
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/construct.ps.gz},
BOOKTITLE = {Proceedings of the Fifteenth UK Performance
Engineering Workshop},
EDITOR = {N. Davies and J. Bradley},
ADDRESS = {Department of Computer Science, The University of
Bristol},
MONTH = JUL
}
@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 = {http://www.dcs.ed.ac.uk/pepa/exploitinglogic.ps.gz}
}
@INPROCEEDINGS{deeptypes,
AUTHOR = {S.~Gilmore},
TITLE = {Deep type inference for mobile functions},
BOOKTITLE = {Proceedings of the First Scottish Functional
Programming Workshop},
YEAR = 1999,
EDITOR = {P.~Trinder and G.~Michaelson},
MONTH = AUG,
PUBLISHER = {Inspect},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/deeptypes.ps.gz}
}
@INPROCEEDINGS{higherorderperformance,
AUTHOR = {S. Gilmore and J. Hillston},
TITLE = {Performance modelling in {PEPA} with higher-order functions},
BOOKTITLE = {Proceedings of the Sixteenth UK Performance
Engineering Workshop},
EDITOR = {N. Thomas and J. Bradley},
MONTH = JUL,
PAGES = {35--46},
YEAR = 2000,
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/higherorder.ps.gz},
PDF = {http://www.dcs.ed.ac.uk/pepa/higherorder.pdf}
}
@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 = {http://www.dcs.ed.ac.uk/pepa/pepafeatureconstruct.ps},
PDF = {http://www.dcs.ed.ac.uk/pepa/pepafeatureconstruct.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 = {http://www.dcs.ed.ac.uk/pepa/canonical.ps},
PDF = {http://www.dcs.ed.ac.uk/pepa/canonical.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 = {http://www.dcs.ed.ac.uk/pepa/pepanets.ps},
PDF = {http://www.dcs.ed.ac.uk/pepa/pepanets.pdf}
}
@UNPUBLISHED{PEPAnetsEOS,
AUTHOR = {S. Gilmore and J. Hillston},
TITLE = {An enhanced operational semantics for {PEPA} nets},
NOTE = {Working draft},
MONTH = MAY,
YEAR = 2002,
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/pepanets/enhanced/main.ps},
PDF = {http://www.dcs.ed.ac.uk/home/stg/pepanets/enhanced/main.pdf}
}
@INPROCEEDINGS{babylon,
AUTHOR = {S. Gilmore and M.A. Palomino},
TITLE = {Monitoring and Controlling Distributed Applications
with Relocatable Objects},
BOOKTITLE = {Proceedings of the 2nd IEEE/ACM International
Symposium on Cluster Computing and the Grid (CCGRID
02)},
PAGES = {348--349},
YEAR = 2002,
EDITOR = {O. Rana},
PUBLISHER = {IEEE},
PDF = {http://csdl.computer.org/comp/proceedings/ccgrid/2002/1582/00/15820348.pdf}
}
@INPROCEEDINGS{transformations,
AUTHOR = {S. Gilmore and Z. Grant-Duff and P. Harrison and Jane Hillston},
TITLE = {Systematic transformations to find quasi-reversible structures in {PEPA} models},
BOOKTITLE = {Proceedings of the first workshop on Process Algebras and Stochastically Timed Activities},
PAGES = {30--45},
YEAR = 2002,
MONTH = JUN,
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/papers/TRANSFORMATIONS/main.ps}
}
@UNPUBLISHED{pepanetsJournal,
AUTHOR = {S. Gilmore and J. Hillston and L. Kloul and M. Ribaudo},
TITLE = {{PEPA} nets: A structured performance modelling
formalism},
NOTE = {Submitted to Performance Evaluation},
YEAR = 2002,
MONTH = SEP,
POSTSCRIPT = {http://www.dcs.ed.ac.uk/home/stg/pcpn/PE/main.ps},
PDF = {http://www.dcs.ed.ac.uk/home/stg/pcpn/PE/main.pdf}
}
@UNPUBLISHED{pepatojava,
AUTHOR = {S. Gilmore and K. Powell},
TITLE = {Developing {Java} applications from {PEPA} models},
NOTE = {Submitted for publication},
YEAR = 2003,
MONTH = APR,
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/papers/PEPA2JAVA/main.ps},
PDF = {http://homepages.inf.ed.ac.uk/stg/papers/PEPA2JAVA/main.pdf}
}
@ARTICLE{PerformanceUMLjournal,
AUTHOR = {C. Canevet and S. Gilmore and J. Hillston and M. Prowse and
P. Stevens},
TITLE = {Performance modelling with {UML} and stochastic
process algebras},
JOURNAL = {IEE Proceedings: Computers and Digital Techniques},
YEAR = 2003,
VOLUME = 150,
NUMBER = 2,
PAGES = {107--120},
MONTH = MAR,
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/UKPEW02/JOURNAL/main.ps},
PDF = {http://homepages.inf.ed.ac.uk/stg/UKPEW02/JOURNAL/main.pdf}
}
@UNPUBLISHED{MVMs,
AUTHOR = {L. Beringer and S. Gilmore},
TITLE = {Practical effectiveness of mobile virtual machines},
NOTE = {Mobile Resource Guarantees project deliverable},
MONTH = MAR,
YEAR = 2003,
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/papers/MVMs/main.ps}
}
@INPROCEEDINGS{PEPAnetsPRISM,
AUTHOR = {S. Gilmore and J. Hillston and L. Kloul and
M. Ribaudo},
TITLE = {Performance modelling with {PEPA} nets and {PRISM}},
BOOKTITLE = {Proceedings of the Second Workshop on Process
Algebra and Stochastically Timed Activities (PASTA
Secondi Piatti)},
MONTH = JUN,
YEAR = 2003,
PAGES = {23--39},
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/proceedings/2003/ribaudo.ps}
}
@INPROCEEDINGS{PEPAtools,
AUTHOR = {S. Gilmore and J. Hillston},
TITLE = {A survey of the {PEPA} tools},
BOOKTITLE = {Proceedings of the Second Workshop on Process
Algebra and Stochastically Timed Activities (PASTA
Secondi Piatti)},
MONTH = JUN,
YEAR = 2003,
PAGES = {40--49},
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/proceedings/2003/gilmore.ps}
}
@INPROCEEDINGS{PEPAnetsStochasticCCS,
AUTHOR = {L. Brodo and S. Gilmore and J. Hillston and
C. Priami},
TITLE = {Mapping coloured stochastic {Petri} nets to stochastic
process algebras},
BOOKTITLE = {On-site proceedings of the ICALP Workshop on Stochastic
Petri Nets and Related Formalisms},
PAGES = {47--66},
YEAR = 2003,
EDITOR = {P. Kemper},
ADDRESS = {Eindhoven, Holland},
PUBLISHER = {University of Dortmund Research Report number 780},
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/ccspepanets.ps},
PDF = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/ccspepanets.pdf}
}
@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},
YEAR = 2003,
EDITOR = {S. Jarvis},
ADDRESS = {Warwick},
MONTH = JUL,
PAGES = {79--90},
POSTSCRIPT = {http://www.dcs.ed.ac.uk/pepa/pepahydra.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{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 = {http://www.dcs.ed.ac.uk/pepa/global.pdf}
}
@UNPUBLISHED{drawnet,
AUTHOR = {S. Gilmore and M. Gribaudo},
TITLE = {Graphical modelling of process algebras with
{DrawNET}},
NOTE = {Proceedings of the tools appendix
of the proceedings of the 2003 Illinois
international multiconference on Measurement,
Modelling and Evaluation of Computer-Communication
systems},
MONTH = SEP,
YEAR = 2003,
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/papers/DRAWNET/main.ps},
PDF = {http://homepages.inf.ed.ac.uk/stg/papers/DRAWNET/main.pdf}
}
@INPROCEEDINGS{unifiedtool,
AUTHOR = {S. Gilmore and L. Kloul},
TITLE = {A unified tool for performance modelling and
predicition},
BOOKTITLE = {Proceedings of the 22nd International Conference on
Computer Safety, Reliability and Security
(SAFECOMP'03)},
PAGES = {179--192},
YEAR = 2003,
NUMBER = 2788,
SERIES = {LNCS},
ADDRESS = {Edinburgh, Scotland},
MONTH = SEP,
PUBLISHER = {Springer-Verlag},
POSTSCRIPT = {http://homepages.inf.ed.ac.uk/stg/research/DEGAS/papers/unifiedtool.ps}
}