Publications Home » Keywords » Process Algebra
Process Algebra
On this page:
Book Chapters
- GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models
- Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
- Theory and Application of Multi-Formalism Modeling
- IGI Global
- To appear 2013
- Scalable Stochastic Modelling for Resilience
![[PDF]](/decor/icon-pdf-mini.png)
- Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
- Resilience Assessment and Evaluation of Computing Systems
- Springer
- June, 2012
- Modelling tools and techniques for the performance analysis of wireless protocols
![[GZipped Postscript]](/decor/icon-gzps-mini.png)
- Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen Gilmore, Nigel Thomas
- Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
- Issue 1
- Nova Science Publishers, Inc
- October, 2007
- Tackling Large State Spaces in Performance Modelling
- William J. Knottenbelt, Jeremy T. Bradley
- Formal Methods for Performance Evaluation
- Volume 4486, pp.318–370
- Lecture Notes in Computer Science, Springer
- June, 2007
Journal Articles
- Fluid computation of passage time distributions in large Markov models
- Richard Hayden, Anton Stefanek, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 413, Issue 1, pp.106–141
- Elsevier
- January, 2012
- Fluid computation of the performance-energy trade-off in large scale Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- SIGMETRICS Performance Evaluation Review
- December, 2011
- Mean-field approximations for performance models with generally-timed transitions
- Richard Hayden
- SIGMETRICS Performance Evaluation Review
- December, 2011
- Performance specification and evaluation with Unified Stochastic Probes and fluid analysis
- Richard Hayden, Jeremy T. Bradley, Allan Clark
- IEEE Transactions on Software Engineering
- IEEE Computer Society
- December, 2011
- Invited Response to Computer Journal Lecture by Prof. Jane Hillston
- Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
- The Computer Journal
- Oxford Journals
- November, 2011
- A fluid analysis framework for a Markovian process algebra
- Richard Hayden, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 411, Issues 22–24, pp.2260–2297
- Elsevier
- May, 2010
- Evaluating fluid semantics for passive stochastic process algebra cooperation
- Richard Hayden, Jeremy T. Bradley
- Performance Evaluation
- Volume 67, Issue 4, pp.260–284
- Elsevier
- April, 2010
- Probabilistic Mobile Ambients
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti
- Volume 410, Issues 12–13, pp.1272–1309
- Theoretical Computer Science, Elsevier
- 2009
- Analysing distributed Internet worm attacks using continuous
state-space approximation of process algebra models
- Jeremy T. Bradley, Stephen Gilmore, Jane Hillston
- Journal of Computer and System Sciences
- Volume 74, Issue 6, pp.1013–1032
- Elsevier
- September, 2008
Conference and Workshop Papers
- Specification and efficient computation of passage-time distributions in GPA
- Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
- 2012
- Mean-field analysis of Markov models with reward feedback
- Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
- ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
- Lecture Notes in Computer Science, Springer Verlag
- 2012
- GPA - A tool for fluid scalability analysis of massively parallel systems
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- QEST'11, 8th International Conference on Quantitative Evaluation of Systems
- pp.147–148
- IEEE
- October, 2011
- Higher moment analysis of a spatial stochastic process algebra
- Marcel C. Guenther, Jeremy T. Bradley
- EPEW 2011, 8th European Performance Engineering Workshop
- Volume 6977, pp.87–101
- Lecture Notes in Computer Science, Springer
- October, 2011
- Fluid analysis of energy consumption using rewards in massively parallel Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
- pp.121–131
- ACM
- March, 2011
- CoBiC: Context-dependent Bioambient Calculus
- Luca Borlolussi, Maria Vigliotti
- international Workshop on Quantitative Aspects of Programming Languages
- Volume 253, pp.187–201
- Electronic Notes in Theoretical Computer Science, Elsevier
- 2009
- Fluid semantics for passive stochastic process algebra cooperation
- Richard Hayden, Jeremy T. Bradley
- VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
- ACM
- October, 2008
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
- Jeremy T. Bradley
- EPEW'08, 5th European Performance Evaluation Workshop
- Volume 5261, pp.79–94
- Lecture Notes in Computer Science, Springer Verlag
- September, 2008
- Continuous PEPA Queues: Individual behaviour in continuous queueing networks
- Ashok Argent-Katwala, Jeremy T. Bradley
- VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007
- Issue 54
- ACM Press
- November, 2007
- Location-Aware Quality of Service Measurements for Service-Level Agreements
- Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
- TGC'07, Trustworthy Global Computing
- Volume 4912, pp.222–239
- Lecture Notes in Computer Science, Springer
- November, 2007
- PEPA Queues: Capturing customer behaviour in queueing networks
- Ashok Argent-Katwala, Jeremy T. Bradley
- QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages
- Volume 190, Issue 3, pp.3–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- September, 2007
- On the Execution of Ambients
- Matthew Sackman, Susan Eisenbach
- MTCoord 2007
- June, 2007
- Automated product-forms with Meercat
- Ashok Argent-Katwala
- SMCtools 2006, Tools for solving Structured Markov Chains
- Volume 201, Issue 10
- ACM International Conference Proceedings, ACM
- October, 2006
- Functional Performance Specification with Stochastic Probes
- Ashok Argent-Katwala, Jeremy T. Bradley
- EPEW'06, 3rd European Performance Evaluation Workshop
- Volume 4054, pp.31–46
- Lecture Notes in Computer Science, Springer
- June, 2006
- Stochastic simulation methods applied to a secure electronic voting model
- Jeremy T. Bradley, Stephen Gilmore
- PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
- Volume 151, Issue 3, pp.5–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
- p.321
- IEEE Computer Society Press
- April, 2006
- Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models
- Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
- WOSP'04, 4th International Workshop on Software and Performance
- Volume 29, Issue 1, pp.49–58
- ACM SIGSOFT Software Engineering Notes, ACM
- January, 2004
National Workshop Papers
- MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool
- Marcel C. Guenther, Jeremy T. Bradley
- Imperial College Computing Student Workshop (ICCSW)
- September, 2011
- Normal and inhomogeneous moment closures for stochastic process algebras
- Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley
- 10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
- September, 2011
- Convergence of ODE approximations and bounds on performance models in the steady-state
- Richard Hayden
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- Hybrid analysis of large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- GPA - Tool for rapid analysis of very large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
- pp.91–101
- University of Warwick
- July, 2010
- Extracting Fluid Response times from PEPA models
- Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- July, 2008
- ODE-based general moment approximations for PEPA
- Richard Hayden, Jeremy T. Bradley
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- July, 2008
- Fluid-flow solutions in PEPA to the state space explosion problem
- Richard Hayden, Jeremy T. Bradley
- PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
- pp.25–37
- July, 2007
- A Continuous State Space Approximation for PEPA Queues
- Ashok Argent-Katwala, Jeremy T. Bradley
- Process Algebra and Stochastically Timed Activities 2006
- June, 2006
- PEPA queues
- Ashok Argent-Katwala
- Process Algebra and Stochastically Timed Activities 2005
- September, 2005
- Stochastic Simulation Methods applied to a Secure Electronic Voting Model
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
- pp.127–149
- July, 2005
PhD Theses
- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Imperial College London
- April, 2011
- A compositional, collaborative performance pipeline
- Ashok Argent-Katwala
- Department of Computing, Imperial College London, University of London
- November, 2006
Technical Reports
- Capturing the energy-performance trade-off in virtualised computing models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Dept of Computing, Imperial College London
- 2011
- RCAT: From PEPA to Product form
![[Postscript]](/decor/icon-ps-mini.png)
- Jeremy T. Bradley
- Department of Computing, Imperial College London
- Volume 2007, Issue 2, pp.1–8
- March, 2007
Undergraduate projects
- Continuous and spatial extension of stochastic pi-calculus
- Anton Stefanek
- Imperial College London
- Distinguished project
- July, 2009
- Addressing the state space explosion problem for PEPA models through fluid-flow approximation
- Richard Hayden
- Imperial College London
- Distinguished project
- July, 2007
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.