Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
46
views
0
references
Top references
cited by
73
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,504
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
A Compositional Approach to Performance Modelling
monograph
Author(s):
Jane Hillston
Publication date
(Online):
November 24 2009
Publisher:
Cambridge University Press
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Digitizing Fabrication
Author and book information
Book
ISBN (Print):
9780521571890
ISBN (Print):
9780521673532
ISBN (Electronic):
9780511569951
Publication date (Online):
November 24 2009
Publication date (Print):
June 13 1996
DOI:
10.1017/CBO9780511569951
SO-VID:
beceedd4-7407-4119-86c8-29a3ecd77f64
License:
https://www.cambridge.org/core/terms
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. xi
Preface
pp. 1
Introduction
pp. 5
Background
pp. 17
Performance Evaluation Process Algebra
pp. 45
Modelling Study: Multi-Server Multi-Queue Systems
pp. 65
Notions of Equivalence
pp. 75
Isomorphism and Weak Isomorphism
pp. 97
Strong Bisimilarity
pp. 113
Strong Equivalence
pp. 137
Conclusions
pp. 145
Bibliography
Similar content
3,504
The use of umbrella fish species to provide a more comprehensive approach for freshwater conservation management
Authors:
Alyssa N. Obester
,
Robert A. Lusardi
,
Nicholas R. Santos
…
Genome-Wide Identification of Schistosoma japonicum MicroRNAs Using a Deep-Sequencing Approach
Authors:
Jian Huang
,
Pei-Pei Hao
,
Hui Chen
…
What hides in the beach sand? A multiproxy approach and new textural code to recognition of beach evolution on the southern and eastern Baltic Sea coast
Authors:
Joanna Martewicz
,
Edyta Kalińska
,
Piotr Weckwerth
See all similar
Cited by
71
Model-based evaluation: from dependability to security
Authors:
W.H. Sanders
,
D.M. Nicol
,
K.S. Trivedi
Stochastic Bigraphs
Authors:
Jean Krivine
,
Angelo Troina
,
Robin Milner
A Markov Chain Model Checker
Authors:
Holger Hermanns
,
Joost-Pieter Katoen
,
Joachim Meyer-Kayser
…
See all cited by