Output details
11 - Computer Science and Informatics
Imperial College London
A unifying approach to product-forms in networks with finite capacity constraints
<13> Uses the RCAT methodology to automatically construct a range of product-forms; including those for blocking that were considered seminal when first published, as well as new, more obscure ones. Ranked in the top 10 out of over 200 submitted at the premier conference in its research field. It is joint with coauthors from Universita Ca'Foscari Venice. It has contributed greatly to the EPSRC funded project APROPOS -- Approximate product-forms and reversed processes for performance analysis (EP/I030921/1), is a precursor to [output 4] and led to a new (submitted) paper on chains of synchronisations (jointly with Marin).