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

Efficiently Modelling Resource in a Process Algebra

Tofts, Chris

HPL-2003-181

Keyword(s): process algebra; semaphore; resource; composition

Abstract: In a concurrent system the effects of contention for resource are primary for both understanding and controlling the behaviour of the system. Since resources are inherently shared, hoping for a compositional presentation seems highly unlikely. Equally, in this context, composition in terms of the ability to subdivide resource seems an ambitious goal. In this presentation we demonstrate that, by exploiting synchrony, we can present resources in a divisible manner. Further, this eradicates counting duplication (counts residing both in the resource representation and in the claiming entities) greatly reducing the state space of the system. Finally our compositional representation of resource usage in a synchronous process algebra is obtained without any changes or additions to the underlying language and could be achieved in 'bare' SCCS. For brevity we assume a basic familiarity with asynchronous (such as CCS) and synchronous process algebra (such as SCCS) for an introduction see 'Communication and Concurrency' by Robin Milner, and the SCCS probabilistic/prioritized extension WSCCS.

12 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.