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
45
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
2,765
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
2,765
Chemical Composition, Antioxidant, and Antimicrobial Activities of Vetiveria zizanioides (L.) Nash Essential Oil Extracted by Carbon Dioxide Expanded Ethanol
Authors:
Andreea David
,
Fang Wang
,
Xiaoming Sun
…
A multi-scale investigation of the mechanical behavior of durable sisal fiber cement composites
Authors:
Flávio de Andrade Silva
,
Romildo D. Toledo Filho
,
Barzin Mobasher
…
Development of a flexible three-axis tactile sensor based on screen-printed carbon nanotube-polymer composite
Authors:
Soonjae Pyo
,
Jae-Ik Lee
,
Min-Ook Kim
…
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