Elementary structural analysis for PEPA (1997)
by
Stephen Gilmore
,
Jane Hillston
,
Laura Recalde
| Citations: | 5 - 5 self |
BibTeX
@TECHREPORT{Gilmore97elementarystructural,
author = {Stephen Gilmore and Jane Hillston and Laura Recalde},
title = {Elementary structural analysis for PEPA},
institution = {},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider the adaptation of important structural techniques for analysing behavioural properties of Petri nets to models expressed in process algebras such as PEPA [Hil96]. 1
