Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

hp.com home

Technical Reports

printable version

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» Worldwide sites
» Downloads
Content starts here

  Click here for full text: PDF

Fast Graph Generation for Synchronous Processes

Tofts, Chris


Keyword(s): No keywords available.

Abstract: The automated analysis of concurrent systems requires that they are translated from a syntactic presentation into some semantic space. One common space of interpretation is transition systems (Milner, 1980; Milner, 1990). In particular situations it is possible to produce these transformations piecewise, but in general we need to produce the complete system graph in order to analyse it. Performing this task efficiently is clearly important for the practicality of automated systems analysis. We present some techniques that greatly reduce the cost of generating graphs from synchronous presentations of concurrent systems. These methods have been implemented within an analysis tool the probabilistic workbench (PRWB) (Tofts, 1995).

6 Pages

Back to Index

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.